Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 9e9085c

Browse files
andreiburdusarv-jenkins
andauthoredJul 24, 2020
No bug report on ExitSuccess (#2006)
* No bug report on ExitSuccess * Add comment * Fix parsing error Co-authored-by: rv-jenkins <[email protected]>
1 parent c3e3728 commit 9e9085c

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed
 

‎kore/src/Kore/BugReport.hs

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -83,7 +83,8 @@ writeBugReportArchive base tar = do
8383
{- | Run the inner action with a temporary directory holding the bug report.
8484
8585
The bug report will be saved as an archive if that was requested by the user, or
86-
if there is an error in the inner action other than 'UserInterrupt'.
86+
if there is an error in the inner action other than
87+
'UserInterrupt' or 'ExitSuccess'.
8788
8889
-}
8990
withBugReport
@@ -109,6 +110,9 @@ withBugReport exeName bugReport act =
109110
case exitCase of
110111
ExitCaseSuccess _ -> optionalWriteBugReport tmpDir
111112
ExitCaseException someException
113+
| Just ExitSuccess == fromException someException
114+
{- User exits the repl after the proof was finished -} ->
115+
optionalWriteBugReport tmpDir
112116
| Just UserInterrupt == fromException someException ->
113117
optionalWriteBugReport tmpDir
114118
| otherwise -> do

0 commit comments

Comments
 (0)
Please sign in to comment.