| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Mon, 06 Nov 2023 21:26:57 +0000 | |
| changeset 475 | a0d4c9a3f83a | 
| parent 472 | fbff6f601370 | 
| permissions | -rw-r--r-- | 
| 472 | 1  | 
|
2  | 
def urbanmain() = {
 | 
|
3  | 
||
4  | 
import M5b._  | 
|
| 263 | 5  | 
|
| 472 | 6  | 
  //println(combine(optimise(load_bff("benchmark.bf"))).length)
 | 
7  | 
  //println(combine(optimise(load_bff("mandelbrot.bf"))).length)
 | 
|
| 348 | 8  | 
|
| 472 | 9  | 
  assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
 | 
10  | 
  assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6509)
 | 
|
11  | 
}  |