Commit 6b558c56 authored by Steffen Michels's avatar Steffen Michels

flush stdout after each event

parent 1b4dc990
Pipeline #12801 failed with stage
in 38 seconds
......@@ -16,6 +16,7 @@ import Data.List
import Data.Tuple
import System.CommandLine
import System.Options
import System.File
import Testing.Options
import Text
......@@ -85,7 +86,7 @@ where
where
stream :: !PrintConfig ![GastEvent] !*File !*World -> *(!*File, !*World)
stream pc [ge:ges] io w
# io = foldl (<<<) io $ printEvents pc [ge]
# io = foldl (\io ev -> snd $ fflush $ io <<< ev) io $ printEvents pc [ge]
# w = case ge of
GE_TestFinished _ {resultType=CounterExpls _ _ _} _ _ -> setReturnCode 1 w
GE_TestFinished _ {resultType=Undefined _} _ _ -> setReturnCode 1 w
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment