diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 19:03:23 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 19:03:23 +0000 |
commit | e58c77ee12be243d487b1dccbee9c457dbbe0a20 (patch) | |
tree | d5546fbc09b35cc70e606eaf49350af4274b0617 /src/VeriFuzz | |
parent | 5b6430a8c88956c865f6ef3fe02efdc6f13823ee (diff) | |
download | verismith-e58c77ee12be243d487b1dccbee9c457dbbe0a20.tar.gz verismith-e58c77ee12be243d487b1dccbee9c457dbbe0a20.zip |
Set the timeout to 5 mins
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/General.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/General.hs b/src/VeriFuzz/General.hs index 527d30f..e99b117 100644 --- a/src/VeriFuzz/General.hs +++ b/src/VeriFuzz/General.hs @@ -50,11 +50,11 @@ rootPath = do maybe current fromText <$> get_env "VERIFUZZ_ROOT" timeout :: FilePath -> [Text] -> Sh Text -timeout = command1 "timeout" ["60"] . toTextIgnore +timeout = command1 "timeout" ["300"] . toTextIgnore {-# INLINE timeout #-} timeout_ :: FilePath -> [Text] -> Sh () -timeout_ = command1_ "timeout" ["60"] . toTextIgnore +timeout_ = command1_ "timeout" ["300"] . toTextIgnore {-# INLINE timeout_ #-} -- | Helper function to convert bytestrings to integers |