| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Thu, 10 Nov 2022 09:52:40 +0000 | |
| changeset 438 | a02e9efd7bc9 |
| 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)
|