From e58c77ee12be243d487b1dccbee9c457dbbe0a20 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 7 Feb 2019 19:03:23 +0000 Subject: Set the timeout to 5 mins --- src/VeriFuzz/General.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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 -- cgit