main_marking5/bf_test7.scala
changeset 421 864107857d27
parent 394 9c0b7d676c7d
child 460 f5c0749858fd
equal deleted inserted replaced
420:a6db2b70abdd 421:864107857d27
     1 import CW10b._
     1 import M5b._
     2 
     2 
     3 assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
     3 assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
     4 assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6511)
     4 assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6511)
     5 
     5 
     6 
     6