| changeset 421 | 864107857d27 |
| parent 394 | 9c0b7d676c7d |
| child 460 | f5c0749858fd |
--- a/main_marking5/bf_test7.scala Thu Jan 13 12:55:03 2022 +0000 +++ b/main_marking5/bf_test7.scala Mon Apr 11 23:55:27 2022 +0100 @@ -1,4 +1,4 @@ -import CW10b._ +import M5b._ assert(combine(optimise(load_bff("benchmark.bf"))).length == 134) assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6511)