diff options
-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 |