| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Sun, 31 Jan 2021 03:28:20 +0000 | |
| changeset 393 | a8e7e187bb26 | 
| 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)
 |