diff --git a/lib/Echidna/Internal/JsonRunner.hs b/lib/Echidna/Internal/JsonRunner.hs index 33d517b39..e6b9f9aa2 100644 --- a/lib/Echidna/Internal/JsonRunner.hs +++ b/lib/Echidna/Internal/JsonRunner.hs @@ -18,6 +18,7 @@ import Data.Aeson (ToJSON, encode) import Data.ByteString.Lazy.Char8 (unpack) import Data.Maybe (mapMaybe) import GHC.Generics +import System.IO (hFlush, stdout) import Hedgehog.Internal.Config import Hedgehog.Internal.Gen (runDiscardEffect, runGenT) @@ -66,6 +67,7 @@ checkGroup config (Group _ props) = _ <- runTasks n props st noop noop $ \(name, prop) -> do result <- checkProp 0 prop putStrLn $ unpack $ encode (format name result) + hFlush stdout pure () pure True