1 import CW10a._
1
2
2 assert(load_bff("benchmark.bf").length == 188)
3 assert(load_bff("benchmark.bf").length == 188)
3 assert(load_bff("foobar.bf") == "")
4 assert(load_bff("foobar.bf") == "")