Force stdout flush to fix #120

crytic · Aug 9, 2018 · 215dd21 · 215dd21
1 parent e2e97c9
commit 215dd21
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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