diff options
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 81bec49..3a469de 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -296,7 +296,8 @@ fuzz gen conf = do (tsynth, _) <- titleRun "Synthesis" $ synthesis src (tequiv, _) <- titleRun "Equivalence Check" $ equivalence src fails <- failEquivWithIdentity - redResult <- whenMaybe (not $ null fails) . titleRun "Reduction" $ reduction + synthFails <- failedSynthesis + redResult <- whenMaybe (not $ null fails && null synthFails) . titleRun "Reduction" $ reduction src state_ <- get currdir <- liftSh pwd |