catch MiniZinc errors as well

conjure-cp · Mar 11, 2024 · 6cb0e97 · 6cb0e97
1 parent c50d7bf
commit 6cb0e97
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
@@ -65,6 +65,7 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) rawInfo = do
   let info = M.fromList [(k, v) | [k, v] <- map (splitOn ":") (lines rawInfo)]
       status
         | T.isInfixOf "type error: undefined identifier" combinedSR = Error
+        | T.isInfixOf "MiniZinc error" combinedSR = Error
         | T.isInfixOf "java.lang.OutOfMemoryError" combinedSR = MemOut
         | T.isInfixOf "Out of Memory" combinedSR = MemOut
         | T.isInfixOf "Savile Row timed out." combinedSR = TimeOut