main_testing5/bf_test1.scala
changeset 404 bf20a9fa5c29
parent 348 b5b6ed38c2f2
child 475 59e005dcf163
equal deleted inserted replaced
403:ffce7b61b446 404:bf20a9fa5c29
     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") == "")