cw4_marking/c3.sc
changeset 1039 86d59b074abe
parent 977 7a02c5b9e0df
equal deleted inserted replaced
1038:34d2cfb7761a 1039:86d59b074abe
     4 import $file.cw041_add
     4 import $file.cw041_add
     5 import cw041_add._
     5 import cw041_add._
     6 
     6 
     7 val ffile = os.read(os.pwd / "br.while")
     7 val ffile = os.read(os.pwd / "br.while")
     8 
     8 
     9 Try(test_string(ffile, "br")) match {
     9 Try(urban_test_string(ffile, "br")) match {
    10   case Success(v) => Console.println(s"   Generated a j-file.")
    10   case Success(v) => Console.println(s"   Generated a j-file.")
    11   case Failure(e) => Console.println(s"   Exception raised.") ; throw(e)
    11   case Failure(e) => Console.println(s"   Exception raised.") ; throw(e)
    12 }
    12 }