| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Sat, 14 Nov 2020 00:40:47 +0000 | |
| changeset 360 | 1bd1e9cd8c72 | 
| 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)
 |