catch another mesage: time out: time limit reached

conjure-cp · Mar 11, 2024 · 22fb0f1 · 22fb0f1
1 parent bf1e079
commit 22fb0f1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
@@ -64,10 +64,11 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) rawInfo = do
   let combinedSR = T.unlines [stdoutSR, stderrSR]
   let info = M.fromList [(k, v) | [k, v] <- map (splitOn ":") (lines rawInfo)]
       status
+        | T.isInfixOf "type error: undefined identifier" combinedSR = Error
         | T.isInfixOf "java.lang.OutOfMemoryError" combinedSR = MemOut
         | T.isInfixOf "Out of Memory" combinedSR = MemOut
         | T.isInfixOf "Savile Row timed out." combinedSR = TimeOut
-        | T.isInfixOf "type error: undefined identifier" combinedSR = Error
+        | T.isInfixOf "time out: time limit reached" combinedSR = TimeOut
         | M.lookup "SavileRowTimeOut" info == Just "1" = TimeOut
         | M.lookup "SavileRowClauseOut" info == Just "1" = TimeOut
         | M.lookup "SolverTimeOut" info == Just "1" = TimeOut