From 99427b5c765f1c5a3e269f5af92e5b44ad31794c Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Thu, 14 Nov 2024 13:01:44 +0100
Subject: [PATCH] Handling unknowns better

---
 .../hu/bme/mit/theta/xcfa/cli/checkers/InProcessChecker.kt     | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/InProcessChecker.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/InProcessChecker.kt
index 193a062499..4022efe510 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/InProcessChecker.kt
+++ b/subprojects/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 {