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