diff options
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") |