main_testing5/bf_test6.scala
changeset 384 627a944c744b
parent 348 194d6ee45800
child 404 5ff7ffa929cc
equal deleted inserted replaced
383:72d6a4af4b4a 384:627a944c744b
     1 import CW10b._
     1 import CW10b._
     2 
     2 
     3 //println(optimise(load_bff("benchmark.bf")).length)
     3 //println(optimise(load_bff("benchmark.bf")).length)
     4 //println(optimise(load_bff("mandelbrot.bf")).length)
     4 //println(optimise(load_bff("mandelbrot.bf")).length)
     5 
     5 
     6 assert(optimise(load_bff("benchmark.bf")).length == 181)
     6 val urban_l1 = optimise(load_bff("benchmark.bf")).length
     7 assert(optimise(load_bff("mandelbrot.bf")).length == 11205)
     7 val urban_l2 = optimise(load_bff("mandelbrot.bf")).length 
       
     8 
       
     9 assert(urban_l1 == 181)
       
    10 assert(urban_l2 == 11205)