main_marking5/bf_test6.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 25 Nov 2022 00:03:15 +0000
changeset 448 db2a3e3287a9
parent 424 daf561a83ba6
child 463 0315d9983cd0
permissions -rw-r--r--
updated

import M5b._

assert(optimise(load_bff("benchmark.bf")).length == 181)
assert(optimise(load_bff("mandelbrot.bf")).length == 11205)



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))