main_marking5/bf_test6.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(optimise(load_bff("benchmark.bf")).length == 181)
     3 assert(optimise(load_bff("benchmark.bf")).length == 181)
     4 assert(optimise(load_bff("mandelbrot.bf")).length == 11203)
     4 assert(optimise(load_bff("mandelbrot.bf")).length == 11205)
     5 
     5 
     6 
     6 
     7 
     7 
     8 assert(run3("[-]", Map(0 -> 100)) == Map(0 -> 0))
     8 assert(run3("[-]", Map(0 -> 100)) == Map(0 -> 0))
     9 assert(run3("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))
     9 assert(run3("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))