diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/VeriFuzz/Simulator/General.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/VeriFuzz/Simulator/General.hs b/src/VeriFuzz/Simulator/General.hs index a024029..3615d3a 100644 --- a/src/VeriFuzz/Simulator/General.hs +++ b/src/VeriFuzz/Simulator/General.hs @@ -40,9 +40,11 @@ class (Simulator a) => Synthesize a where timeout :: FilePath -> [Text] -> Sh Text timeout = command1 "timeout" ["180"] . toTextIgnore +{-# INLINE timeout #-} timeout_ :: FilePath -> [Text] -> Sh () timeout_ = command1_ "timeout" ["180"] . toTextIgnore +{-# INLINE timeout_ #-} -- | Helper function to convert bytestrings to integers bsToI :: ByteString -> Integer |