| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Fri, 16 Jul 2021 23:34:19 +0100 | |
| changeset 394 | 9c0b7d676c7d | 
| 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)
 |