oc checker accept result fix

ftsrg · Nov 16, 2024 · e087aa2 · e087aa2
1 parent f668324
commit e087aa2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...jects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/oc/XcfaOcChecker.kt b/...jects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/oc/XcfaOcChecker.kt
@@ -154,7 +154,7 @@ class XcfaOcChecker(
       }
       .also {
         logger.writeln(Logger.Level.MAINSTEP, "OC checker result: $it")
-        if (xcfa.unsafeUnrollUsed && !acceptUnreliableSafe) {
+        if (it.isSafe && xcfa.unsafeUnrollUsed && !acceptUnreliableSafe) {
           logger.writeln(
             Logger.Level.MAINSTEP,
             "Incomplete loop unroll used: safe result is unreliable.",