Handling unknowns better

ftsrg · Nov 14, 2024 · 99427b5 · 99427b5
1 parent 62dd365
commit 99427b5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/...ojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/InProcessChecker.kt b/...ojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/InProcessChecker.kt
@@ -150,6 +150,9 @@ class InProcessChecker<F : SpecFrontendConfig, B : SpecBackendConfig>(
         if (stdoutRemainder.contains("SafetyResult Unsafe")) {
           safetyResult = SafetyResult.unsafe(EmptyCex.getInstance(), EmptyProof.getInstance())
         }
+        if (stdoutRemainder.contains("SafetyResult Unknown")) {
+          safetyResult = SafetyResult.unknown<EmptyProof, EmptyCex>()
+        }
 
         val newLines = stdoutRemainder.split("\n") // if ends with \n, last element will be ""
         newLines.subList(0, newLines.size - 1).forEach {