Support the --bug-report and --no-bug-report options in kore-repl (#2462)

* Support --bug-report and --no-bug-report in kore-repl

kore-repl generated bug reports without allowing the user
to specify how or if this needs to be done. Make it behave
like kore-exec.

* include.mk: Run kore-repl with --no-bug-report

Prevent integration tests that use kore-repl from producing
bug reports. This already applies for kore-exec.

Author: andreiburdusa

include.mk

@@ -44,7 +44,7 @@ export KORE_EXEC
 export KORE_EXEC_OPTS
 
 KORE_REPL = $(BUILD_DIR)/kore/bin/kore-repl
-KORE_REPL_OPTS =
+KORE_REPL_OPTS = --no-bug-report
 export KORE_REPL
 export KORE_REPL_OPTS
 

kore/app/repl/Main.hs

@@ -80,6 +80,7 @@ data KoreReplOptions = KoreReplOptions
     , replScript       :: !ReplScript
     , outputFile       :: !OutputFile
     , koreLogOptions   :: !KoreLogOptions
+    , bugReportOption  :: !BugReportOption
     }
 
 -- | Parse options after being given the value of startTime for KoreLogOptions
@@ -94,6 +95,7 @@ parseKoreReplOptions startTime =
     <*> parseReplScript
     <*> parseOutputFile
     <*> parseKoreLogOptions (ExeName "kore-repl") startTime
+    <*> parseBugReportOption
   where
     parseMainModule :: Parser KoreModule
     parseMainModule  =
@@ -185,10 +187,11 @@ mainWithOptions
         , scriptModeOutput
         , outputFile
         , koreLogOptions
+        , bugReportOption
         }
   = do
     exitCode <-
-        withBugReport Main.exeName BugReportOnError $ \tempDirectory ->
+        withBugReport Main.exeName bugReportOption $ \tempDirectory ->
             withLogger tempDirectory koreLogOptions $ \actualLogAction -> do
             mvarLogAction <- newMVar actualLogAction
             let swapLogAction = swappableLogger mvarLogAction