main_testing5/bf_test1.scala
changeset 404 5ff7ffa929cc
parent 348 194d6ee45800
child 472 fbff6f601370
equal deleted inserted replaced
403:312c9eb39ad8 404:5ff7ffa929cc
     1 import CW10a._
     1 import M5a._
     2 
     2 
     3 assert(load_bff("benchmark.bf").length == 188)
     3 assert(load_bff("benchmark.bf").length == 188)
     4 assert(load_bff("foobar.bf") == "")
     4 assert(load_bff("foobar.bf") == "")