pass k as fall through cont for if

Generative-Program-Analysis · Oct 2, 2024 · c47501c · c47501c
1 parent 7c1a0ad
commit c47501c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/main/scala/wasm/MiniWasm.scala b/src/main/scala/wasm/MiniWasm.scala
@@ -290,7 +290,7 @@ object Evaluator {
                retStack.take(ty.toList.size) ++ newStack,
                frame,
                trail)
-        eval(inner, List(), frame, k :: trail)
+        eval(inner, List(), frame, k :: trail)(k)
       case Br(label) =>
         trail(label)(stack)
       case BrIf(label) =>

diff --git a/src/test/scala/genwasym/TestEval.scala b/src/test/scala/genwasym/TestEval.scala
@@ -92,7 +92,7 @@ class TestEval extends FunSuite {
   test("power") { testFile("./benchmarks/wasm/pow.wat", Some("$real_main"), Some(1024)) }
   //test("start") { testFile("./benchmarks/wasm/start.wat") }
   // test("loop") { testFile("./benchmarks/wasm/loop.wat") }
-  //test("fact") { testFile("./benchmarks/wasm/fact.wat", None, Some(120)) }
+  test("fact") { testFile("./benchmarks/wasm/fact.wat", None, Some(120)) }
 
   // Parser works, but the memory issue remains
   //test("btree") { testFile("./benchmarks/wasm/btree/2o1u-no-label-for-real.wat") }