| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Wed, 02 Dec 2020 01:15:14 +0000 | |
| changeset 382 | fec2c2f2d3db | 
| parent 348 | 194d6ee45800 | 
| child 404 | 5ff7ffa929cc | 
| permissions | -rw-r--r-- | 
| 286 | 1  | 
import CW10b._  | 
| 263 | 2  | 
|
| 348 | 3  | 
//println(combine(optimise(load_bff("benchmark.bf"))).length)
 | 
4  | 
//println(combine(optimise(load_bff("mandelbrot.bf"))).length)
 | 
|
5  | 
||
| 263 | 6  | 
assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
 | 
| 348 | 7  | 
assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6511)
 |