diff -r 7acbef680bef -r f5c0749858fd main_marking5/bf_test7.scala
--- a/main_marking5/bf_test7.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking5/bf_test7.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -1,9 +1,21 @@
 import M5b._
 
-assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
-assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6511)
+import io.Source
+import scala.util._
+
+def urban_load_bff(name: String) : String = 
+  Try(Source.fromFile(name)("ISO-8859-1").mkString).getOrElse("")
+
 
 
+import scala.concurrent._
+import scala.concurrent.duration._
+import ExecutionContext.Implicits.global
+import scala.language.postfixOps 
+
+lazy val f = Future {
+assert(combine(optimise(urban_load_bff("benchmark.bf"))).length == 134)
+assert(combine(optimise(urban_load_bff("sierpinski.bf"))).length == 122)
 
 assert(run4("[-]", Map(0 -> 100)) == Map(0 -> 0))
 assert(run4("[->+<]", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10))
@@ -16,3 +28,6 @@
                    +++++++..+++.>>.<-.<.+++.------.--------.>>+.>++."""
 
 assert(run4(hw_urban3) == Map(0 -> 0, 5 -> 33, 1 -> 0, 6 -> 10, 2 -> 72, 3 -> 100, 4 -> 87))
+}
+
+Await.result(f, 32 second)