main_marking5/bf_test1.scala
changeset 491 2a30c7dfe3ed
parent 421 864107857d27
equal deleted inserted replaced
490:f70d74fea67f 491:2a30c7dfe3ed
     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 }