SR AssertionError

conjure-cp · Apr 4, 2024 · 80b2703 · 80b2703
1 parent e042221
commit 80b2703
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
@@ -87,7 +87,8 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) savilerowInfoText runso
                     "Error: syntax error, unexpected ]]", -- cplex
                     "*** Check failure stack trace: ***", -- or-tools
                     "Error: evaluation error: Index set mismatch.",
-                    "Maximum memory exceeded" -- for when runsolver prints this message but won't set MEMOUT=true for some reason
+                    "Maximum memory exceeded", -- for when runsolver prints this message but won't set MEMOUT=true for some reason
+                    "Savile Row killed by: java.lang.AssertionError"
                   ]
             ] =
             Error