From 9f48fe66e61783e392d9a46d037a8791f1871673 Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Sat, 15 Jun 2024 20:55:08 +0200 Subject: [PATCH] Fixed test --- .../src/test/java/hu/bme/mit/theta/xcfa/passes/PassTests.kt | 2 +- 1 file changed, 1 insertion(+), 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 index 26f8485bec..570ab2b126 100644 --- 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)") } }, ),