marking5/bf_test6.scala
author Christian Urban <urbanc@in.tum.de>
Wed, 30 Oct 2019 12:37:18 +0000
changeset 286 5c57c407e27b
parent 255 44f2b6e34015
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
286
5c57c407e27b updated
Christian Urban <urbanc@in.tum.de>
parents: 255
diff changeset
     1
import CW10b._
255
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
assert(optimise(load_bff("benchmark.bf")).length == 181)
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
assert(optimise(load_bff("mandelbrot.bf")).length == 11203)
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
assert(run3("[-]", Map(0 -> 100)) == Map(0 -> 0))
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
assert(run3("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
assert(run3("[>>+>>+<<<<-]", Map(0 -> 42)) == Map(0 -> 0, 2 -> 42, 4 -> 42))
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
val hw_urban2 = """+++++[->++++++++++<]>--<+++[->>++++++++++
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
                  <<]>>++<<----------[+>.>.<+<]"""
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
assert(run3(hw_urban2) == Map(0 -> 0, 1 -> 58, 2 -> 32))
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
val hw_urban3 = """++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
                   +++++++..+++.>>.<-.<.+++.------.--------.>>+.>++."""
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
44f2b6e34015 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
assert(run3(hw_urban3) == Map(0 -> 0, 5 -> 33, 1 -> 0, 6 -> 10, 2 -> 72, 3 -> 100, 4 -> 87))