diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-07 19:40:32 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-07 19:40:32 +0100 |
| commit | db5c1a788e86d52b75ac237270bf2cabcbd296e6 (patch) | |
| tree | 4b8695f821d93e45cba71fd1eab5e7f0ffb75df4 /src/VeriFuzz.hs | |
| parent | 634315880f01c65d916d53db12f92b49517fab9f (diff) | |
| download | verismith-db5c1a788e86d52b75ac237270bf2cabcbd296e6.tar.gz verismith-db5c1a788e86d52b75ac237270bf2cabcbd296e6.zip | |
Add description field to Yosys
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index cd6596c..d40fdaf 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -137,7 +137,7 @@ checkEquivalence src dir = shellyFailDir $ do cd (fromText dir) catch_sh ( ( runResultT - $ runEquiv defaultYosys defaultYosys (Just defaultVivado) src + $ runEquiv defaultYosys (Just defaultVivado) src ) >> return True ) @@ -166,7 +166,6 @@ runEquivalence seed gm t d k i = do catch_sh ( runResultT $ runEquiv defaultYosys - defaultYosys (Just defaultVivado) srcInfo >> liftSh (logger "Test OK") |