main_testing5/bf_test6.scala
changeset 475 59e005dcf163
parent 460 39ec5c112312
equal deleted inserted replaced
474:b528d1d3d3c3 475:59e005dcf163
     1 import M5b._
       
     2 
     1 
     3 //println(optimise(load_bff("benchmark.bf")).length)
     2 def urbanmain() = {
     4 //println(optimise(load_bff("mandelbrot.bf")).length)
       
     5 
     3 
     6 val urban_l1 = optimise(load_bff("benchmark.bf")).length
     4   import M5b._
     7 val urban_l2 = optimise(load_bff("mandelbrot.bf")).length 
       
     8 
     5 
     9 assert(urban_l1 == 181)
     6   //println(optimise(load_bff("benchmark.bf")).length)
    10 assert(urban_l2 == 11203)
     7   //println(optimise(load_bff("mandelbrot.bf")).length)
       
     8 
       
     9   val urban_l1 = optimise(load_bff("benchmark.bf")).length
       
    10   val urban_l2 = optimise(load_bff("mandelbrot.bf")).length 
       
    11 
       
    12   assert(urban_l1 == 181)
       
    13   assert(urban_l2 == 11203)
       
    14 }