diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-19 12:33:15 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-19 12:33:15 +0000 |
commit | 395bdaaddad0d6250d19634f5c4d38886d160878 (patch) | |
tree | eb00880dbe928781836fc9884664f70f167d693a /src/VeriFuzz | |
parent | fbd7ac5554561587e3d1c08ec125ab2d7b5ebb09 (diff) | |
download | verismith-395bdaaddad0d6250d19634f5c4d38886d160878.tar.gz verismith-395bdaaddad0d6250d19634f5c4d38886d160878.zip |
Inline the timeout function
Diffstat (limited to 'src/VeriFuzz')
-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 |