diff options
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index c1bbfe4..7390aee 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -138,15 +138,14 @@ pop f a = do equivalence :: (MonadBaseControl IO m, MonadSh m) => SourceInfo -> Fuzz m () equivalence src = do - yos <- lift $ asks yosysInstance synth <- passedSynthesis let synthComb = nubBy tupEq . filter (uncurry (/=)) $ combinations synth synth - results <- liftSh $ mapM (uncurry $ equiv yos) synthComb + results <- liftSh $ mapM (uncurry equiv) synthComb liftSh $ inspect results where tupEq (a, b) (a', b') = (a == a' && b == b') || (a == b' && b == a') - equiv yos a b = runResultT $ do + equiv a b = runResultT $ do make dir pop dir $ do liftSh $ do @@ -155,7 +154,7 @@ equivalence src = do cp (fromText ".." </> fromText (toText b) </> synthOutput b) $ synthOutput b writefile "rtl.v" $ genSource src - runEquiv yos a (Just b) src + runEquiv a (Just b) src where dir = fromText $ "equiv_" <> toText a <> "_" <> toText b fuzz :: MonadFuzz m => Gen SourceInfo -> Config -> Fuzz m FuzzReport |