testing5/bf_test1.scala
changeset 236 fac3ebafbac1
child 286 269d7ca62c5e
equal deleted inserted replaced
235:9e216601435f 236:fac3ebafbac1
       
     1 
       
     2 assert(load_bff("benchmark.bf").length == 188)
       
     3 assert(load_bff("foobar.bf") == "")