| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Fri, 29 Jan 2021 00:56:19 +0000 | |
| changeset 390 | 720206dcacf7 | 
| parent 384 | 627a944c744b | 
| child 404 | 5ff7ffa929cc | 
| permissions | -rw-r--r-- | 
| 286 | 1  | 
import CW10b._  | 
| 263 | 2  | 
|
| 348 | 3  | 
//println(optimise(load_bff("benchmark.bf")).length)
 | 
4  | 
//println(optimise(load_bff("mandelbrot.bf")).length)
 | 
|
5  | 
||
| 384 | 6  | 
val urban_l1 = optimise(load_bff("benchmark.bf")).length
 | 
7  | 
val urban_l2 = optimise(load_bff("mandelbrot.bf")).length 
 | 
|
8  | 
||
9  | 
assert(urban_l1 == 181)  | 
|
10  | 
assert(urban_l2 == 11205)  |