diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-05-12 13:16:15 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-12 13:16:15 +0100 |
| commit | bc2fd5f80e235a1bd00c58e29554aea91afcf4d8 (patch) | |
| tree | b85ba6c8d5ffc6f49350b9d11753ca7076db8510 /src/Verismith/Fuzz.hs | |
| parent | 7124a4f00e536b4d5323a7488c1f65469dddb102 (diff) | |
| download | verismith-bc2fd5f80e235a1bd00c58e29554aea91afcf4d8.tar.gz verismith-bc2fd5f80e235a1bd00c58e29554aea91afcf4d8.zip | |
Add debug to reduction
Diffstat (limited to 'src/Verismith/Fuzz.hs')
| -rw-r--r-- | src/Verismith/Fuzz.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Verismith/Fuzz.hs b/src/Verismith/Fuzz.hs index 2fb9f00..278879d 100644 --- a/src/Verismith/Fuzz.hs +++ b/src/Verismith/Fuzz.hs @@ -397,7 +397,7 @@ reduction rsrc = do simFails <- failedSimulations _ <- liftSh $ mapM (red checker datadir) fails _ <- liftSh $ mapM redSynth synthFails - _ <- liftSh $ mapM (redSim datadir) simFails + -- _ <- liftSh $ mapM (redSim datadir) simFails return () where red checker datadir (SynthResult a b _ _) = do @@ -490,7 +490,7 @@ fuzz gen = do $ conf & configProperty . propSeed - ?~ seed' + ?~ seed' (tsynth, _) <- titleRun "Synthesis" $ synthesis src (tequiv, _) <- if (_fuzzOptsNoEquiv opts) |