diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 18:14:27 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 18:14:27 +0000 |
commit | a0cc699e8b90375d2dcd13f0f549d9b70feee442 (patch) | |
tree | 4f1e541781aaa1a9bf96777fddc2377408e1f5b8 /src | |
parent | 75d363184e02ca504905ce5ba8158b5da49b890d (diff) | |
download | verismith-a0cc699e8b90375d2dcd13f0f549d9b70feee442.tar.gz verismith-a0cc699e8b90375d2dcd13f0f549d9b70feee442.zip |
Reduce the timeout
Diffstat (limited to 'src')
-rw-r--r-- | src/VeriFuzz/General.hs | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/VeriFuzz/General.hs b/src/VeriFuzz/General.hs index 5ad1c5c..527d30f 100644 --- a/src/VeriFuzz/General.hs +++ b/src/VeriFuzz/General.hs @@ -32,6 +32,10 @@ class (Simulator a) => Simulate a where -> ModDecl -- ^ Module to simulate -> [ByteString] -- ^ Inputs to simulate -> Sh ByteString -- ^ Returns the value of the hash at the output of the testbench. + runSimWithFile :: a + -> FilePath + -> [ByteString] + -> Sh ByteString -- | Synthesize type class. class (Simulator a) => Synthesize a where @@ -46,11 +50,11 @@ rootPath = do maybe current fromText <$> get_env "VERIFUZZ_ROOT" timeout :: FilePath -> [Text] -> Sh Text -timeout = command1 "timeout" ["500"] . toTextIgnore +timeout = command1 "timeout" ["60"] . toTextIgnore {-# INLINE timeout #-} timeout_ :: FilePath -> [Text] -> Sh () -timeout_ = command1_ "timeout" ["500"] . toTextIgnore +timeout_ = command1_ "timeout" ["60"] . toTextIgnore {-# INLINE timeout_ #-} -- | Helper function to convert bytestrings to integers @@ -65,7 +69,7 @@ noPrint = echoP :: Text -> Sh () echoP t = do fn <- pwd - echo $ bname fn <> " :: " <> t + echo $ bname fn <> " - " <> t where bname = T.pack . takeBaseName . T.unpack . toTextIgnore |