main_testing5/bf_test1.scala
changeset 348 194d6ee45800
parent 286 269d7ca62c5e
child 404 5ff7ffa929cc
equal deleted inserted replaced
347:0b727d1a8184 348:194d6ee45800
       
     1 import CW10a._
       
     2 
       
     3 assert(load_bff("benchmark.bf").length == 188)
       
     4 assert(load_bff("foobar.bf") == "")