| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Fri, 26 Apr 2024 17:35:36 +0100 | |
| changeset 483 | a2c4c6bf319d | 
| 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 | } |