diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 17:00:56 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 17:00:56 +0100 |
commit | d9258cd3d7cf8474436134a75cfc5ff48b5beff0 (patch) | |
tree | f06329969da3a81a698ce7ca7225ea559d8144e4 /src/VeriFuzz/Fuzz.hs | |
parent | a6c69c67a9d3923443fccad77293c365f4bbc0d3 (diff) | |
download | verismith-d9258cd3d7cf8474436134a75cfc5ff48b5beff0.tar.gz verismith-d9258cd3d7cf8474436134a75cfc5ff48b5beff0.zip |
Only compare against the identity synth
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 5 |
1 files changed, 3 insertions, 2 deletions
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 |