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