| changeset 404 | 5ff7ffa929cc |
| parent 384 | 627a944c744b |
| child 457 | 85942c3b387a |
| 403:312c9eb39ad8 | 404:5ff7ffa929cc |
|---|---|
1 import CW10b._ |
1 import M5b._ |
2 |
2 |
3 //println(optimise(load_bff("benchmark.bf")).length) |
3 //println(optimise(load_bff("benchmark.bf")).length) |
4 //println(optimise(load_bff("mandelbrot.bf")).length) |
4 //println(optimise(load_bff("mandelbrot.bf")).length) |
5 |
5 |
6 val urban_l1 = optimise(load_bff("benchmark.bf")).length |
6 val urban_l1 = optimise(load_bff("benchmark.bf")).length |