test staged concolic compilation in CI

butterunderflow · butterunderflow · commit 314ff5fe8b84 · 2025-07-16T23:58:44.000+08:00
diff --git a/.github/workflows/scala.yml b/.github/workflows/scala.yml
@@ -79,3 +79,4 @@ jobs:
         sbt 'testOnly gensym.wasm.TestConcolic'
         sbt 'testOnly gensym.wasm.TestDriver'
         sbt 'testOnly gensym.wasm.TestStagedEval'
+        sbt 'testOnly gensym.wasm.TestStagedConcolicEval'
diff --git a/benchmarks/wasm/branch-strip-buggy.wat b/benchmarks/wasm/branch-strip-buggy.wat
@@ -29,6 +29,7 @@
       else
         i32.const 0
         call 2
+        i32.const 1 ;; to satisfy the type checker, this line will never be reached
       end
     end
   )

Original file line number	Diff line number	Diff line change
`@@ -29,6 +29,7 @@`
`29`	`29`	`else`
`30`	`30`	`i32.const 0`
`31`	`31`	`call 2`
	`32`	`+ i32.const 1 ;; to satisfy the type checker, this line will never be reached`
`32`	`33`	`end`
`33`	`34`	`end`
`34`	`35`	`)`