--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main_testing5/bf_test7.scala	Mon Nov 02 13:10:02 2020 +0000
@@ -0,0 +1,7 @@
+import CW10b._
+
+//println(combine(optimise(load_bff("benchmark.bf"))).length)
+//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)