main_marking5/bf_test1.scala
changeset 494 253d1ccb65de
parent 424 daf561a83ba6
equal deleted inserted replaced
493:244df77507c2 494:253d1ccb65de
     1 import M5a._ 
       
     2 
     1 
     3 assert(load_bff("benchmark.bf").length == 188)
     2 def urbanmain() = {
     4 assert(load_bff("foobar.bf") == "")
     3   import M5a._ 
       
     4 
       
     5   assert(load_bff("benchmark.bf").length == 188)
       
     6   assert(load_bff("foobar.bf") == "")
       
     7 
       
     8 }