equal
  deleted
  inserted
  replaced
  
    
    
         | 
     1 import CW10b._  | 
         | 
     2   | 
         | 
     3 //println(optimise(load_bff("benchmark.bf")).length) | 
         | 
     4 //println(optimise(load_bff("mandelbrot.bf")).length) | 
         | 
     5   | 
         | 
     6 assert(optimise(load_bff("benchmark.bf")).length == 181) | 
         | 
     7 assert(optimise(load_bff("mandelbrot.bf")).length == 11205) |