From 085b83342f8c8b8f1e84aae0fd1eb6c62fb3bf6f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 30 May 2019 12:18:51 +0100
Subject: Add check for synthfails

---
 src/VeriFuzz/Fuzz.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit