Add a bit of a delay so that we can see the progress bar

GaloisInc · Jul 10, 2018 · 133d6c9 · 133d6c9
1 parent 5644309
commit 133d6c9
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/crucible-c/src/ProgressBar.hs b/crucible-c/src/ProgressBar.hs
@@ -4,13 +4,16 @@ import System.IO
 import System.Console.ANSI
 import Control.Monad(zipWithM)
 
+import Control.Concurrent
+
 
 prepStatus :: String -> Int -> (Integer -> IO (), IO ())
 prepStatus pref tot = (start,end)
  where
  start n = do putStr (msg n)
  hFlush stdout
- end = cursorBackward msgLen
+ end = do threadDelay 100000
+ cursorBackward msgLen
 
  totS = show tot
  totW = length totS