main_marking5/bf_test3.scala
changeset 463 0315d9983cd0
parent 424 daf561a83ba6
--- a/main_marking5/bf_test3.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking5/bf_test3.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -1,5 +1,11 @@
 import M5a._
 
+import scala.concurrent._
+import scala.concurrent.duration._
+import ExecutionContext.Implicits.global
+import scala.language.postfixOps 
+
+lazy val f = Future {
 assert(jumpRight("[xxxxxx]xxx", 1, 0) == 8)
 assert(jumpRight("[xx[x]x]xxx", 1, 0) == 8)
 assert(jumpRight("[xx[x]x]xxx", 1, 0) == 8)  
@@ -8,3 +14,6 @@
 assert(jumpLeft("[xxxxxx]xxx", 6, 0) == 1)
 assert(jumpLeft("[xxxxxx]xxx", 7, 0) == -1)
 assert(jumpLeft("[x[][]x]xxx", 6, 0) == 1)
+}
+
+Await.result(f, 32 second)