also print unknown for unreliable safe result

ftsrg · Nov 16, 2024 · e875d97 · e875d97
1 parent e087aa2
commit e875d97
Showing 1 changed file with 1 addition and 0 deletions.
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
@@ -159,6 +159,7 @@ class XcfaOcChecker(
             Logger.Level.MAINSTEP,
             "Incomplete loop unroll used: safe result is unreliable.",
           )
+          logger.writeln(Logger.Level.RESULT, SafetyResult.unknown<EmptyProof, Cex>().toString())
           throw NotSolvableException()
         }
       }