| 
421
 | 
     1  | 
import M5b._
  | 
392
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
     2  | 
  | 
| 
460
 | 
     3  | 
import io.Source
  | 
| 
 | 
     4  | 
import scala.util._
  | 
| 
 | 
     5  | 
  | 
| 
 | 
     6  | 
def urban_load_bff(name: String) : String = 
  | 
| 
 | 
     7  | 
  Try(Source.fromFile(name)("ISO-8859-1").mkString).getOrElse("")
 | 
| 
 | 
     8  | 
  | 
392
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
     9  | 
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    10  | 
  | 
| 
460
 | 
    11  | 
import scala.concurrent._
  | 
| 
 | 
    12  | 
import scala.concurrent.duration._
  | 
| 
 | 
    13  | 
import ExecutionContext.Implicits.global
  | 
| 
 | 
    14  | 
import scala.language.postfixOps 
  | 
| 
 | 
    15  | 
  | 
| 
 | 
    16  | 
lazy val f = Future {
 | 
| 
 | 
    17  | 
assert(combine(optimise(urban_load_bff("benchmark.bf"))).length == 134)
 | 
| 
 | 
    18  | 
assert(combine(optimise(urban_load_bff("sierpinski.bf"))).length == 122)
 | 
392
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    19  | 
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    20  | 
assert(run4("[-]", Map(0 -> 100)) == Map(0 -> 0))
 | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    21  | 
assert(run4("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))
 | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    22  | 
assert(run4("[>>+>>+<<<<-]", Map(0 -> 42)) == Map(0 -> 0, 2 -> 42, 4 -> 42))
 | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    23  | 
val hw_urban2 = """+++++[->++++++++++<]>--<+++[->>++++++++++
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    24  | 
                  <<]>>++<<----------[+>.>.<+<]"""
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    25  | 
assert(run4(hw_urban2) == Map(0 -> 0, 1 -> 58, 2 -> 32))
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    26  | 
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    27  | 
val hw_urban3 = """++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    28  | 
                   +++++++..+++.>>.<-.<.+++.------.--------.>>+.>++."""
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    29  | 
  | 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 
 | 
    30  | 
assert(run4(hw_urban3) == Map(0 -> 0, 5 -> 33, 1 -> 0, 6 -> 10, 2 -> 72, 3 -> 100, 4 -> 87))
  | 
| 
460
 | 
    31  | 
}
  | 
| 
 | 
    32  | 
  | 
| 
 | 
    33  | 
Await.result(f, 32 second)
  |