From e2f6a008feb304fd4e6497bfc41a4a32740e2adf Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 10 Nov 2019 21:13:06 +0000 Subject: Add counter example parsing --- src/Verismith/Fuzz.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Verismith/Fuzz.hs') diff --git a/src/Verismith/Fuzz.hs b/src/Verismith/Fuzz.hs index d14e74b..b600d68 100644 --- a/src/Verismith/Fuzz.hs +++ b/src/Verismith/Fuzz.hs @@ -325,8 +325,8 @@ generateByteString n = do failEquivWithIdentity :: (MonadSh m) => Fuzz m [SynthResult] failEquivWithIdentity = filter withIdentity . _fuzzSynthResults <$> get where - withIdentity (SynthResult (IdentitySynth _) _ (Fail EquivFail) _) = True - withIdentity (SynthResult _ (IdentitySynth _) (Fail EquivFail) _) = True + withIdentity (SynthResult (IdentitySynth _) _ (Fail (EquivFail _)) _) = True + withIdentity (SynthResult _ (IdentitySynth _) (Fail (EquivFail _)) _) = True withIdentity _ = False passEquiv :: (MonadSh m) => Fuzz m [SynthResult] -- cgit