| changeset 460 | 39ec5c112312 |
| parent 404 | bf20a9fa5c29 |
| child 475 | 59e005dcf163 |
| 459:d59404a41d5f | 460:39ec5c112312 |
|---|---|
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) |