1 import CW10b._
2
3 assert(optimise(load_bff("benchmark.bf")).length == 181)
4 assert(optimise(load_bff("mandelbrot.bf")).length == 11203)