one more error message to catch (Check failure stack trace)

conjure-cp · Mar 20, 2024 · c3bc347 · c3bc347
1 parent 2388a50
commit c3bc347
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
@@ -68,13 +68,14 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) rawInfo = do
             [ T.isInfixOf msg combinedSR
               | msg <-
                   [ "type error: undefined identifier",
-                    "MiniZinc error", -- minizinc
+                    "MiniZinc error: Memory violation detected and error message", -- minizinc
                     "Check failed: ParseFlatzincFile",
-                    "parse error: unexpected end-of-file after parsing number of clauses",
+                    "parse error: unexpected end-of-file after parsing number of clauses", -- kissat
                     "error: Cannot open file",
                     "kissat: error: can not read", -- kissat
                     "kissat: fatal error: maximum arena capacity", -- kissat
-                    "Error: syntax error, unexpected ]]" -- cplex
+                    "Error: syntax error, unexpected ]]", -- cplex
+                    "*** Check failure stack trace: ***" -- or-tools
                   ]
             ] =
             Error