main_testing5/bf_test1.scala
changeset 475 59e005dcf163
parent 404 bf20a9fa5c29
equal deleted inserted replaced
474:b528d1d3d3c3 475:59e005dcf163
     1 import M5a._
       
     2 
     1 
     3 assert(load_bff("benchmark.bf").length == 188)
     2 def urbanmain() = {
     4 assert(load_bff("foobar.bf") == "")
     3 
       
     4   import M5a._
       
     5 
       
     6   assert(load_bff("benchmark.bf").length == 188)
       
     7   assert(load_bff("foobar.bf") == "")
       
     8 
       
     9 }