diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-24 18:01:46 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-24 18:01:46 +0100 |
| commit | 5a396797f5a03fab45632a07be897266cc961013 (patch) | |
| tree | 08c66ea9dc38d3bb264039fc0040bf0169892542 /source | |
| parent | 71ba500df8b4ccfcb5a6620d6fa290ace76044dc (diff) | |
Print failure status last
Diffstat (limited to 'source')
| -rw-r--r-- | source/CommandLine.hs | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/source/CommandLine.hs b/source/CommandLine.hs index 8e1a41e..5ed598d 100644 --- a/source/CommandLine.hs +++ b/source/CommandLine.hs @@ -74,18 +74,19 @@ run = do Yes -> skip CounterSatisfiable tptp -> do + Text.putStrLn "(Failed TPTP task will be printed to stderr)" + Text.hPutStrLn stderr tptp Text.putStrLn $ "Verification failed: prover found countermodel at " <> locationToText loc - Text.putStrLn "Prover output (TPTP format):" Text.hPutStrLn stderr tptp ContradictoryAxioms tptp -> do + Text.putStrLn "(Failed TPTP task will be printed to stderr)" + Text.hPutStrLn stderr tptp Text.putStrLn ("Verification failed: contradictory axioms at " <> locationToText loc) Text.putStrLn "This is usually caused by an incorrect axiom or a theorem that has its proof omitted. It can also be caused by bugs or by using unsafe features. If no warnings were printed during verification and you are certain that there are no contradictions in your axiomatic setup, please report this as a bug." - Text.putStrLn "Prover output (TPTP format):" - Text.hPutStrLn stderr tptp Uncertain tptp -> do - Text.putStrLn $ "Verification failed: out of resources at " <> locationToText loc - Text.putStrLn "Prover output (TPTP format):" + Text.putStrLn "(Failed TPTP task will be printed to stderr)" Text.hPutStrLn stderr tptp + Text.putStrLn $ "Verification failed: out of resources at " <> locationToText loc Error label err -> do Text.putStrLn $ "Error at " <> locationToText loc <> ": " Text.putStrLn $ "Task: " <> label |