marking5/bf_test1.scala
changeset 253 4da8550b2d0b
child 286 269d7ca62c5e
equal deleted inserted replaced
252:f5948104eef5 253:4da8550b2d0b
       
     1 
       
     2 assert(load_bff("benchmark.bf").length == 188)
       
     3 assert(load_bff("foobar.bf") == "")