From c3bc347d0a48ca7cca627f23978157b7c5360fc8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=96zg=C3=BCr=20Akg=C3=BCn?= Date: Wed, 20 Mar 2024 09:16:39 +0000 Subject: [PATCH] one more error message to catch (Check failure stack trace) --- src/Conjure/UI/SolveStats.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs index a8e83c118..df1b4fefa 100644 --- 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