diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-03 17:38:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-03 17:38:11 +0100 |
commit | 29804187ac1aeb6d53985e11e9591dc52633bac0 (patch) | |
tree | 3aae6fb7cb96f75958d3c07bfc791c8a00fbedb9 /src/VeriFuzz.hs | |
parent | 77559b722fca9c873e29d5735b309c0a8d8f2022 (diff) | |
download | verismith-29804187ac1aeb6d53985e11e9591dc52633bac0.tar.gz verismith-29804187ac1aeb6d53985e11e9591dc52633bac0.zip |
Export Vivado types and fix test failure
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 310af7d..e008d62 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -107,7 +107,7 @@ checkEquivalence src dir = shellyFailDir $ do setenv "VERIFUZZ_ROOT" curr cd (fromText dir) catch_sh - (runEquiv defaultYosys defaultYosys (Just defaultXST) src >> return True + (runEquiv defaultYosys defaultYosys (Just defaultVivado) src >> return True ) ((\_ -> return False) :: RunFailed -> Sh Bool) @@ -124,7 +124,7 @@ runEquivalence gm t i = do setenv "VERIFUZZ_ROOT" curr cd (fromText "output" </> fromText n) catch_sh - ( runEquiv defaultYosys defaultYosys (Just defaultXST) srcInfo + ( runEquiv defaultYosys defaultYosys (Just defaultVivado) srcInfo >> echoP "Test OK" ) $ onFailure n |