author | Christian Urban <christian.urban@kcl.ac.uk> |
Thu, 08 Dec 2022 17:53:08 +0000 | |
changeset 452 | 4772b6166720 |
parent 404 | bf20a9fa5c29 |
child 461 | f28ccfdcfae2 |
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) |