| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Sun, 15 Jan 2023 10:57:28 +0000 | |
| changeset 458 | 5a86b9983d32 |
| parent 457 | 85942c3b387a |
| child 459 | 7acbef680bef |
--- a/main_testing5/bf_test7.scala Sun Jan 15 10:31:30 2023 +0000 +++ b/main_testing5/bf_test7.scala Sun Jan 15 10:57:28 2023 +0000 @@ -4,4 +4,4 @@ //println(combine(optimise(load_bff("mandelbrot.bf"))).length) assert(combine(optimise(load_bff("benchmark.bf"))).length == 134) -assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6511) +assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6509)