main_marking5/bf_test6.scala
changeset 424 daf561a83ba6
parent 394 839ad118e467
child 463 0315d9983cd0
equal deleted inserted replaced
423:e9d14d58be3c 424:daf561a83ba6
     1 import CW10b._
     1 import M5b._
     2 
     2 
     3 assert(optimise(load_bff("benchmark.bf")).length == 181)
     3 assert(optimise(load_bff("benchmark.bf")).length == 181)
     4 assert(optimise(load_bff("mandelbrot.bf")).length == 11205)
     4 assert(optimise(load_bff("mandelbrot.bf")).length == 11205)
     5 
     5 
     6 
     6