diff -r 0930e4555b60 -r 97ecdc8cb61b main_marking5/bf_test6.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main_marking5/bf_test6.scala	Sun Jan 31 03:24:32 2021 +0000
@@ -0,0 +1,18 @@
+import CW10b._
+
+assert(optimise(load_bff("benchmark.bf")).length == 181)
+assert(optimise(load_bff("mandelbrot.bf")).length == 11203)
+
+
+
+assert(run3("[-]", Map(0 -> 100)) == Map(0 -> 0))
+assert(run3("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))
+assert(run3("[>>+>>+<<<<-]", Map(0 -> 42)) == Map(0 -> 0, 2 -> 42, 4 -> 42))
+val hw_urban2 = """+++++[->++++++++++<]>--<+++[->>++++++++++
+                  <<]>>++<<----------[+>.>.<+<]"""
+assert(run3(hw_urban2) == Map(0 -> 0, 1 -> 58, 2 -> 32))
+
+val hw_urban3 = """++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.
+                   +++++++..+++.>>.<-.<.+++.------.--------.>>+.>++."""
+
+assert(run3(hw_urban3) == Map(0 -> 0, 5 -> 33, 1 -> 0, 6 -> 10, 2 -> 72, 3 -> 100, 4 -> 87))