testing5/bf_test7.scala
changeset 348 b5b6ed38c2f2
parent 347 4de31fdc0d67
child 349 682611a0fb89
equal deleted inserted replaced
347:4de31fdc0d67 348:b5b6ed38c2f2
     1 import CW10b._
       
     2 
       
     3 assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
       
     4 assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6509)