diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-09 18:44:08 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-09 18:44:08 +0000 |
commit | 4476d87f229aa4615d9b42f1124b657361a110c3 (patch) | |
tree | 9e7e8f25196d250a688364a069f5324660471166 /src/Test/VeriFuzz/Simulator | |
parent | 7eb582d6e51721841005120f2787179f380e93a6 (diff) | |
download | verismith-4476d87f229aa4615d9b42f1124b657361a110c3.tar.gz verismith-4476d87f229aa4615d9b42f1124b657361a110c3.zip |
Change to timeout to support FilePath
Diffstat (limited to 'src/Test/VeriFuzz/Simulator')
-rw-r--r-- | src/Test/VeriFuzz/Simulator/General.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Test/VeriFuzz/Simulator/General.hs b/src/Test/VeriFuzz/Simulator/General.hs index b513b79..8c5c7ec 100644 --- a/src/Test/VeriFuzz/Simulator/General.hs +++ b/src/Test/VeriFuzz/Simulator/General.hs @@ -45,11 +45,11 @@ class (Simulator a) => Synthesize a where -> FilePath -- ^ Output verilog file for the module -> Sh () -- ^ does not return any values -timeout :: Text -> [Text] -> Sh Text -timeout = command1 "timeout" ["180"] +timeout :: FilePath -> [Text] -> Sh Text +timeout = command1 "timeout" ["180"] . toTextIgnore -timeout_ :: Text -> [Text] -> Sh () -timeout_ = command1_ "timeout" ["180"] +timeout_ :: FilePath -> [Text] -> Sh () +timeout_ = command1_ "timeout" ["180"] . toTextIgnore synthesizers :: [Text] synthesizers = ["yosys", "xst"] |