catch one more kissat error message

conjure-cp · Mar 16, 2024 · 197fd8b · 197fd8b
1 parent a5163f0
commit 197fd8b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
@@ -72,7 +72,8 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) rawInfo = do
                     "Check failed: ParseFlatzincFile",
                     "parse error: unexpected end-of-file after parsing number of clauses",
                     "error: Cannot open file",
-                    "kissat: error: can not read"
+                    "kissat: error: can not read",
+                    "kissat: fatal error: maximum arena capacity"
                   ]
             ] =
             Error