From d9258cd3d7cf8474436134a75cfc5ff48b5beff0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 20 May 2019 17:00:56 +0100
Subject: Only compare against the identity synth

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

(limited to 'src/VeriFuzz/Fuzz.hs')

diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs
index f9ac5e1..19f9dce 100644
--- a/src/VeriFuzz/Fuzz.hs
+++ b/src/VeriFuzz/Fuzz.hs
@@ -152,8 +152,9 @@ toSynthResult a b = flip applyList b $ uncurry SynthResult <$> a
 equivalence :: (MonadBaseControl IO m, MonadSh m) => SourceInfo -> Fuzz m ()
 equivalence src = do
     synth <- passedSynthesis
-    let synthComb =
-            nubBy tupEq . filter (uncurry (/=)) $ combinations synth synth
+--    let synthComb =
+--            nubBy tupEq . filter (uncurry (/=)) $ combinations synth synth
+    let synthComb = nubBy tupEq . filter (uncurry (/=)) $ (,) defaultIdentitySynth <$> synth
     results <- liftSh $ mapM (uncurry equiv) synthComb
     synthResults .= toSynthResult synthComb results
     liftSh $ inspect results
-- 
cgit