main_marking5/bf_test7.scala
changeset 394 839ad118e467
parent 392 97ecdc8cb61b
child 424 daf561a83ba6
equal deleted inserted replaced
393:7a9cc14d0912 394:839ad118e467
     1 import CW10b._
     1 import CW10b._
     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 == 6509)
     4 assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6511)
     5 
     5 
     6 
     6 
     7 
     7 
     8 assert(run4("[-]", Map(0 -> 100)) == Map(0 -> 0))
     8 assert(run4("[-]", Map(0 -> 100)) == Map(0 -> 0))
     9 assert(run4("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))
     9 assert(run4("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))