| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Mon, 14 Nov 2022 12:04:21 +0000 | |
| changeset 441 | 5266495f4aad | 
| parent 404 | 5ff7ffa929cc | 
| child 458 | 5a86b9983d32 | 
| permissions | -rw-r--r-- | 
| 404 | 1 | import M5b._ | 
| 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)
 |