diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-07 21:20:19 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-07 21:20:19 +0100 |
commit | 08f2731b97abb6d502422a701276d38e316021ab (patch) | |
tree | 837406112c445fabb63e83e468698b3ef3065049 /src/VeriFuzz.hs | |
parent | db5c1a788e86d52b75ac237270bf2cabcbd296e6 (diff) | |
download | verismith-08f2731b97abb6d502422a701276d38e316021ab.tar.gz verismith-08f2731b97abb6d502422a701276d38e316021ab.zip |
Add configuration options for all simulators
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r-- | src/VeriFuzz.hs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index d40fdaf..c4c7448 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -136,9 +136,7 @@ checkEquivalence src dir = shellyFailDir $ do setenv "VERIFUZZ_ROOT" curr cd (fromText dir) catch_sh - ( ( runResultT - $ runEquiv defaultYosys (Just defaultVivado) src - ) + ( (runResultT $ runEquiv defaultYosys (Just defaultVivado) src) >> return True ) ((\_ -> return False) :: RunFailed -> Sh Bool) @@ -165,9 +163,7 @@ runEquivalence seed gm t d k i = do _ <- catch_sh ( runResultT - $ runEquiv defaultYosys - (Just defaultVivado) - srcInfo + $ runEquiv defaultYosys (Just defaultVivado) srcInfo >> liftSh (logger "Test OK") ) $ onFailure n |