main_marking5/bf_test7.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Sun, 31 Jan 2021 03:24:32 +0000
changeset 392 e776db3c808b
child 394 9c0b7d676c7d
permissions -rw-r--r--
marking 5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
392
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
import CW10b._
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6509)
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
assert(run4("[-]", Map(0 -> 100)) == Map(0 -> 0))
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
assert(run4("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
assert(run4("[>>+>>+<<<<-]", Map(0 -> 42)) == Map(0 -> 0, 2 -> 42, 4 -> 42))
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
val hw_urban2 = """+++++[->++++++++++<]>--<+++[->>++++++++++
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
                  <<]>>++<<----------[+>.>.<+<]"""
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
assert(run4(hw_urban2) == Map(0 -> 0, 1 -> 58, 2 -> 32))
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
val hw_urban3 = """++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
                   +++++++..+++.>>.<-.<.+++.------.--------.>>+.>++."""
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
e776db3c808b marking 5
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
assert(run4(hw_urban3) == Map(0 -> 0, 5 -> 33, 1 -> 0, 6 -> 10, 2 -> 72, 3 -> 100, 4 -> 87))