| changeset 457 | 85942c3b387a |
| parent 404 | 5ff7ffa929cc |
| child 472 | fbff6f601370 |
| 456:873d0b16aaa9 | 457:85942c3b387a |
|---|---|
5 |
5 |
6 val urban_l1 = optimise(load_bff("benchmark.bf")).length |
6 val urban_l1 = optimise(load_bff("benchmark.bf")).length |
7 val urban_l2 = optimise(load_bff("mandelbrot.bf")).length |
7 val urban_l2 = optimise(load_bff("mandelbrot.bf")).length |
8 |
8 |
9 assert(urban_l1 == 181) |
9 assert(urban_l1 == 181) |
10 assert(urban_l2 == 11205) |
10 assert(urban_l2 == 11203) |