diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-22 19:01:44 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-22 19:01:44 +0000 |
commit | 0636119cb5faf8e55a4a17bb00d15d6710679c35 (patch) | |
tree | 7524e2a67a514eefcab588ac09f3c2c527c7efee /src/VeriFuzz/Simulator/General.hs | |
parent | 125388a9fa696e354961545887f07633f06b3107 (diff) | |
download | verismith-0636119cb5faf8e55a4a17bb00d15d6710679c35.tar.gz verismith-0636119cb5faf8e55a4a17bb00d15d6710679c35.zip |
Better multithreading
Diffstat (limited to 'src/VeriFuzz/Simulator/General.hs')
-rw-r--r-- | src/VeriFuzz/Simulator/General.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/VeriFuzz/Simulator/General.hs b/src/VeriFuzz/Simulator/General.hs index 538ecaa..543c139 100644 --- a/src/VeriFuzz/Simulator/General.hs +++ b/src/VeriFuzz/Simulator/General.hs @@ -55,3 +55,7 @@ timeout_ = command1_ "timeout" ["180"] . toTextIgnore bsToI :: ByteString -> Integer bsToI = B.foldl' (\i b -> (i `shiftL` 8) + fromIntegral b) 0 {-# INLINE bsToI #-} + +noPrint :: Sh a -> Sh a +noPrint = + print_stdout False . print_stderr False |