main_marking5/bf_test6.scala
changeset 394 9c0b7d676c7d
parent 392 e776db3c808b
child 421 864107857d27
equal deleted inserted replaced
393:a8e7e187bb26 394:9c0b7d676c7d
     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))