diff options
Diffstat (limited to 'app/Main.hs')
-rw-r--r-- | app/Main.hs | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/app/Main.hs b/app/Main.hs index 1979112..0557996 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -53,9 +53,16 @@ runSimulation = do onFailure :: Text -> RunFailed -> Sh () onFailure t _ = do - echoP "Test FAIL" - cd ".." - cp_r (fromText t) $ fromText (t <> "_failed") + ex <- lastExitCode + case ex of + 124 -> do + echoP "Test TIMEOUT" + cd ".." + cp_r (fromText t) $ fromText (t <> "_timeout") + _ -> do + echoP "Test FAIL" + cd ".." + cp_r (fromText t) $ fromText (t <> "_failed") runEquivalence :: Gen ModDecl -> Text -> Int -> IO () runEquivalence gm t i = do |