main_marking5/bfc.scala
changeset 460 f5c0749858fd
parent 421 864107857d27
equal deleted inserted replaced
459:7acbef680bef 460:f5c0749858fd
   210 
   210 
   211 // testcases
   211 // testcases
   212 
   212 
   213 //println(optimise(load_bff("collatz.bf")))
   213 //println(optimise(load_bff("collatz.bf")))
   214 //optimise(load_bff("benchmark.bf"))          // should have inserted 0's
   214 //optimise(load_bff("benchmark.bf"))          // should have inserted 0's
   215 //optimise(load_bff("mandelbrot.bf")).length  // => 11205
   215 //optimise(load_bff("mandelbrot.bf")).length  // => 11203
   216  
   216  
   217 //time_needed(1, run3(load_bff("benchmark.bf")))
   217 //time_needed(1, run3(load_bff("benchmark.bf")))
   218 //time_needed(1, run3(load_bff("mandelbrot.bf")))
   218 //time_needed(1, run3(load_bff("mandelbrot.bf")))
   219 
   219 
   220 
   220