diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-04-06 23:03:46 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-06 23:03:46 +0100 |
| commit | 2b00c249a29236af734c1e5b717b859a2a54a5dc (patch) | |
| tree | 070cf697a962f3b09e673b2fee9be541e3e90788 /src/Verismith/Tool/Yosys.hs | |
| parent | d31472164e711a330e9f0a5b0a486b12abb69daf (diff) | |
| parent | 472aedf5daeb1cb0d095a63eacf259b798f56586 (diff) | |
| download | verismith-2b00c249a29236af734c1e5b717b859a2a54a5dc.tar.gz verismith-2b00c249a29236af734c1e5b717b859a2a54a5dc.zip | |
Merge branch 'develop' of github.com:ymherklotz/verismith into develop
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 c87e697..3632f37 100644 --- a/src/Verismith/Tool/Yosys.hs +++ b/src/Verismith/Tool/Yosys.hs @@ -64,7 +64,7 @@ defaultYosys = Yosys Nothing "yosys" "syn_yosys.v" yosysPath :: Yosys -> FilePath yosysPath sim = maybe (S.fromText "yosys") (</> S.fromText "yosys") $ yosysBin sim -runSynthYosys :: Yosys -> SourceInfo -> ResultSh () +runSynthYosys :: Yosys -> (SourceInfo ann) -> ResultSh () runSynthYosys sim (SourceInfo _ src) = do dir <- liftSh $ do dir' <- S.pwd @@ -88,7 +88,7 @@ runEquivYosys => Yosys -> a -> b - -> SourceInfo + -> (SourceInfo ann) -> ResultSh () runEquivYosys yosys sim1 sim2 srcInfo = do liftSh $ do @@ -105,7 +105,7 @@ runEquivYosys yosys sim1 sim2 srcInfo = do where checkFile = S.fromText [st|test.#{toText sim1}.#{toText sim2}.ys|] runEquiv - :: (Synthesiser a, Synthesiser b) => Maybe Text -> FilePath -> a -> b -> SourceInfo -> ResultSh () + :: (Synthesiser a, Synthesiser b) => Maybe Text -> FilePath -> a -> b -> (SourceInfo ann) -> ResultSh () runEquiv mt datadir sim1 sim2 srcInfo = do dir <- liftSh S.pwd liftSh $ do |