catch a runsolver message

conjure-cp · Apr 12, 2024 · 1cf7f33 · 1cf7f33
1 parent 57d3845
commit 1cf7f33
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
@@ -104,7 +104,8 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) savilerowInfoText runso
             [ T.isInfixOf msg combinedSR
               | msg <-
                   [ "Savile Row timed out.",
-                    "time out: time limit reached"
+                    "time out: time limit reached",
+                    "Received SIGTERM or SIGINT, killing child" -- for when runsolver prints this message but won't set MEMOUT=true or TIMEOUT=true for some reason
                   ]
             ] =
             TimeOut