diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 16:32:41 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 16:32:41 +0100 |
| commit | 98c6701f48d3e06eb0f2fcd590d0330aec8b5a9b (patch) | |
| tree | 0f7d04a48fd28b9b14da74686b3fac27515362a4 /src/VeriFuzz.hs | |
| parent | 2fa0419fcd066137e0fc2fdc6c8f4128a4a1e663 (diff) | |
| download | verismith-98c6701f48d3e06eb0f2fcd590d0330aec8b5a9b.tar.gz verismith-98c6701f48d3e06eb0f2fcd590d0330aec8b5a9b.zip | |
Add ResultT to Sh conversion
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 054db72..c448c0b 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -415,7 +415,7 @@ checkEquivalence src dir = shellyFailDir $ do setenv "VERIFUZZ_ROOT" curr cd (fromText dir) catch_sh - ( (runResultT $ runEquiv defaultYosys (Just defaultVivado) src) + ( (runResultT $ runEquiv defaultYosys defaultVivado src) >> return True ) ((\_ -> return False) :: RunFailed -> Sh Bool) @@ -442,7 +442,7 @@ runEquivalence seed gm t d k i = do _ <- catch_sh ( runResultT - $ runEquiv defaultYosys (Just defaultVivado) srcInfo + $ runEquiv defaultYosys defaultVivado srcInfo >> liftSh (logger "Test OK") ) $ onFailure n |