Include result.kore with --bug-report

kore/app/exec/Main.hs

@@ -555,20 +555,21 @@ main = do
 
 mainWithOptions :: KoreExecOptions -> IO ()
 mainWithOptions execOptions = do
-    let KoreExecOptions
-            { koreLogOptions
-            , koreSolverOptions
-            , bugReportOption
-            }
-          = execOptions
+    let KoreExecOptions { koreSolverOptions, bugReportOption, outputFileName } = execOptions
     ensureSmtPreludeExists koreSolverOptions
     exitCode <-
         withBugReport Main.exeName bugReportOption $ \tmpDir -> do
-            writeOptionsAndKoreFiles tmpDir execOptions
-            go <* warnIfLowProductivity
-                & handle handleWithConfiguration
-                & handle handleSomeException
-                & runKoreLog tmpDir koreLogOptions
+            let execOptions' = execOptions {
+                    outputFileName = Just (tmpDir </> "result.kore") }
+            writeOptionsAndKoreFiles tmpDir execOptions'
+            e <- go execOptions' <* warnIfLowProductivity
+                    & handle handleWithConfiguration
+                    & handle handleSomeException
+                    & runKoreLog tmpDir koreLogOptions
+            case outputFileName of
+                Nothing -> readFile (tmpDir </> "result.kore") >>= putStr
+                Just fileName -> copyFile (tmpDir </> "result.kore") fileName
+            return e
     let KoreExecOptions { rtsStatistics } = execOptions
     for_ rtsStatistics $ \filePath ->
         writeStats filePath =<< getStats
@@ -577,6 +578,7 @@ mainWithOptions execOptions = do
     KoreExecOptions { koreProveOptions } = execOptions
     KoreExecOptions { koreSearchOptions } = execOptions
     KoreExecOptions { koreMergeOptions } = execOptions
+    KoreExecOptions { koreLogOptions } = execOptions
 
     handleSomeException :: SomeException -> Main ExitCode
     handleSomeException someException = do
@@ -594,21 +596,21 @@ mainWithOptions execOptions = do
             ("// Last configuration:\n" <> unparse lastConfiguration)
         throwM someException
 
-    go :: Main ExitCode
-    go
+    go :: KoreExecOptions -> Main ExitCode
+    go eOpts
       | Just proveOptions@KoreProveOptions{bmc} <- koreProveOptions =
         if bmc
-            then koreBmc execOptions proveOptions
-            else koreProve execOptions proveOptions
+            then koreBmc eOpts proveOptions
+            else koreProve eOpts proveOptions
 
       | Just searchOptions <- koreSearchOptions =
-        koreSearch execOptions searchOptions
+        koreSearch eOpts searchOptions
 
       | Just mergeOptions <- koreMergeOptions =
-        koreMerge execOptions mergeOptions
+        koreMerge eOpts mergeOptions
 
       | otherwise =
-        koreRun execOptions
+        koreRun eOpts
 
 koreSearch :: KoreExecOptions -> KoreSearchOptions -> Main ExitCode
 koreSearch execOptions searchOptions = do