Fixed test

RipplB · Jun 15, 2024 · 9f48fe6 · 9f48fe6
1 parent 0f35b6b
commit 9f48fe6
Showing 1 changed file with 1 addition 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
@@ -336,7 +336,7 @@ class PassTests {
                     }
                     (init to final) {
                         "y".assign(
-                            "(ite (isinfinite x) #b00000000000000000000000000000000 #b00000000000000000000000000000001)")
+                            "(ite (or (isinfinite x) (fpisnan x)) #b00000000000000000000000000000000 #b00000000000000000000000000000001)")
                     }
                 },
             ),