diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 11:53:43 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 11:54:23 +0000 |
| commit | 01c2ab3f6a58d416528efce3057e2cf2f1604489 (patch) | |
| tree | e8716b6b2b2bd438df3680e0c927134ee8ae5c83 /src/Verismith/Tool/Yosys.hs | |
| parent | 633522fc459439e6dff58509c7706ef831199fee (diff) | |
| download | verismith-01c2ab3f6a58d416528efce3057e2cf2f1604489.tar.gz verismith-01c2ab3f6a58d416528efce3057e2cf2f1604489.zip | |
Add data-file installation path
This removes the need to recursively copy the data directory which will also
save on space.
Diffstat (limited to 'src/Verismith/Tool/Yosys.hs')
| -rw-r--r-- | src/Verismith/Tool/Yosys.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Verismith/Tool/Yosys.hs b/src/Verismith/Tool/Yosys.hs index 9c0a864..afbffe9 100644 --- a/src/Verismith/Tool/Yosys.hs +++ b/src/Verismith/Tool/Yosys.hs @@ -102,8 +102,8 @@ runEquivYosys yosys sim1 sim2 srcInfo = do where checkFile = fromText [st|test.#{toText sim1}.#{toText sim2}.ys|] runEquiv - :: (Synthesiser a, Synthesiser b) => a -> b -> SourceInfo -> ResultSh () -runEquiv sim1 sim2 srcInfo = do + :: (Synthesiser a, Synthesiser b) => FilePath -> a -> b -> SourceInfo -> ResultSh () +runEquiv datadir sim1 sim2 srcInfo = do dir <- liftSh pwd liftSh $ do writefile "top.v" @@ -114,7 +114,7 @@ runEquiv sim1 sim2 srcInfo = do ^. mainModule replaceMods (synthOutput sim1) "_1" srcInfo replaceMods (synthOutput sim2) "_2" srcInfo - writefile "proof.sby" $ sbyConfig sim1 sim2 srcInfo + writefile "proof.sby" $ sbyConfig datadir sim1 sim2 srcInfo e <- liftSh $ do exe dir "symbiyosys" "sby" ["-f", "proof.sby"] lastExitCode |