From 0a45b7d0cfa76e8a543bc2ddffe7d4e56aaae93a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 25 May 2019 21:18:24 +0100
Subject: Add reducesynthesis function

---
 src/VeriFuzz/Reduce.hs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'src')

diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs
index bfc9a6e..0ecde3f 100644
--- a/src/VeriFuzz/Reduce.hs
+++ b/src/VeriFuzz/Reduce.hs
@@ -591,3 +591,16 @@ reduceSynth a b = reduce synth
             Fail EquivFail -> True
             Fail _         -> False
             Pass _         -> False
+
+reduceSynthesis :: (Synthesiser a, MonadSh m)
+                => a
+                -> SourceInfo
+                -> m SourceInfo
+reduceSynthesis a = reduce synth
+    where
+        synth src = liftSh $ do
+            r <- runResultT $ runSynth a src
+            return $ case r of
+                Fail SynthFail -> True
+                Fail _         -> False
+                Pass _         -> False
-- 
cgit