diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-05-30 12:18:51 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-30 12:18:51 +0100 |
| commit | 085b83342f8c8b8f1e84aae0fd1eb6c62fb3bf6f (patch) | |
| tree | 4fab85a80049bc3dc924ac63cd197342bb997c4d | |
| parent | 87b0f99853072ad1b17b380726b3807f6f4f91d4 (diff) | |
| download | verismith-085b83342f8c8b8f1e84aae0fd1eb6c62fb3bf6f.tar.gz verismith-085b83342f8c8b8f1e84aae0fd1eb6c62fb3bf6f.zip | |
Add check for synthfails
| -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 |