fix compile error in test

ftsrg · Nov 14, 2024 · b13c139 · b13c139
1 parent 615d2ee
commit b13c139
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/subprojects/xcfa/xcfa/src/test/java/hu/bme/mit/theta/xcfa/passes/PassTests.kt b/subprojects/xcfa/xcfa/src/test/java/hu/bme/mit/theta/xcfa/passes/PassTests.kt
@@ -287,7 +287,12 @@ class PassTests {
         PassTestData(
           global = { "x" type Int() init "0" },
           passes =
-            listOf(NormalizePass(), DeterministicPass(), RemoveDeadEnds(), UnusedLocRemovalPass()),
+            listOf(
+              NormalizePass(),
+              DeterministicPass(),
+              RemoveDeadEnds(parseContext),
+              UnusedLocRemovalPass(),
+            ),
           input = {
             (init to "L1") { assume("1 == 1") }
             (init to "L2") { assume("1 == 1") }