| changeset 286 | 5c57c407e27b |
| parent 263 | 5a16bcb4105e |
| 285:bd9d142d2cd8 | 286:5c57c407e27b |
|---|---|
1 import CW10b._ |
|
1 |
2 |
2 assert(combine(optimise(load_bff("benchmark.bf"))).length == 134) |
3 assert(combine(optimise(load_bff("benchmark.bf"))).length == 134) |
3 assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6509) |
4 assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6509) |