cw5_marking/c3.sc
changeset 1039 86d59b074abe
parent 977 7a02c5b9e0df
equal deleted inserted replaced
1038:34d2cfb7761a 1039:86d59b074abe
     3 import $file.cw051_add
     3 import $file.cw051_add
     4 import cw051_add._
     4 import cw051_add._
     5 
     5 
     6 val mand = os.read(os.pwd / "mand.fun")
     6 val mand = os.read(os.pwd / "mand.fun")
     7 
     7 
     8 test_string(mand, "mand")
     8 urban_test_string(mand, "mand")
     9 
     9