changeset 424 | daf561a83ba6 |
parent 394 | 839ad118e467 |
child 463 | 0315d9983cd0 |
--- 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)