Fixed safe default

ftsrg · Nov 23, 2023 · 5eeb1ce · 5eeb1ce
1 parent 18796ab
commit 5eeb1ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt
@@ -243,7 +243,7 @@ class XcfaCli(private val args: Array<String>) {
         stopwatch.reset().start()
 
         val safetyResult: SafetyResult<*, *> =
-            if (xcfa.procedures.all { it.errorLoc.isEmpty && explicitProperty != ErrorDetection.NO_ERROR }) {
+            if (xcfa.procedures.all { it.errorLoc.isEmpty && explicitProperty == ErrorDetection.ERROR_LOCATION }) {
                 registerAllSolverManagers(solverHome, logger)
                 SafetyResult.safe(ARG.create { _, _ -> false })
             } else if (backend == Backend.CEGAR) {