From 215dd211fdead15f4f5d82590fd2f1dd3e91cb0c Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Thu, 9 Aug 2018 13:27:01 -0300
Subject: [PATCH] Force stdout flush to fix #120

---
 lib/Echidna/Internal/JsonRunner.hs | 2 ++
 1 file changed, 2 insertions(+)

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