diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 16:31:46 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 16:31:46 +0100 |
| commit | 5fe3cbc3ba41cb7bfd9f4be737b0c5bc94d7e24a (patch) | |
| tree | 90ee539e72196a2f870bada3ff3454ca0ddafe95 /src/VeriFuzz/Fuzz.hs | |
| parent | 0e0dd6ee036c333cd3026917e696cf37996af341 (diff) | |
| download | verismith-5fe3cbc3ba41cb7bfd9f4be737b0c5bc94d7e24a.tar.gz verismith-5fe3cbc3ba41cb7bfd9f4be737b0c5bc94d7e24a.zip | |
Remove Maybe from equivalence check
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
| -rw-r--r-- | src/VeriFuzz/Fuzz.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 77f728a..8408fbb 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -155,7 +155,7 @@ equivalence src = do cp (fromText ".." </> fromText (toText b) </> synthOutput b) $ synthOutput b writefile "rtl.v" $ genSource src - runEquiv a (Just b) src + runEquiv a b src where dir = fromText $ "equiv_" <> toText a <> "_" <> toText b fuzz :: MonadFuzz m => Gen SourceInfo -> Config -> Fuzz m FuzzReport |