|
424
|
1 |
import M5b._
|
392
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
|
|
394
|
4 |
assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6511)
|
392
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
assert(run4("[-]", Map(0 -> 100)) == Map(0 -> 0))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
assert(run4("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
10 |
assert(run4("[>>+>>+<<<<-]", Map(0 -> 42)) == Map(0 -> 0, 2 -> 42, 4 -> 42))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
11 |
val hw_urban2 = """+++++[->++++++++++<]>--<+++[->>++++++++++
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
12 |
<<]>>++<<----------[+>.>.<+<]"""
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
13 |
assert(run4(hw_urban2) == Map(0 -> 0, 1 -> 58, 2 -> 32))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
14 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
15 |
val hw_urban3 = """++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
16 |
+++++++..+++.>>.<-.<.+++.------.--------.>>+.>++."""
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
17 |
|
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))
|