--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/marking5/bf_test7.scala	Thu Jan 17 00:31:32 2019 +0000
@@ -0,0 +1,17 @@
+
+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))