| changeset 404 | 5ff7ffa929cc |
| parent 348 | 194d6ee45800 |
| child 458 | 5a86b9983d32 |
| 403:312c9eb39ad8 | 404:5ff7ffa929cc |
|---|---|
1 import CW10b._ |
1 import M5b._ |
2 |
2 |
3 //println(combine(optimise(load_bff("benchmark.bf"))).length) |
3 //println(combine(optimise(load_bff("benchmark.bf"))).length) |
4 //println(combine(optimise(load_bff("mandelbrot.bf"))).length) |
4 //println(combine(optimise(load_bff("mandelbrot.bf"))).length) |
5 |
5 |
6 assert(combine(optimise(load_bff("benchmark.bf"))).length == 134) |
6 assert(combine(optimise(load_bff("benchmark.bf"))).length == 134) |