diff options
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) |