diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-12-26 00:02:45 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-12-26 00:02:45 +0100 |
| commit | 5edd6cf92222a9be2a41ebfbfb33dd1c94688077 (patch) | |
| tree | 79c895d4cf29614cf589a357adac73ead1a10387 /src | |
| parent | b6ac3e970a24a5dfe5d6e6427d3f56f6a6d734c3 (diff) | |
| download | verismith-5edd6cf92222a9be2a41ebfbfb33dd1c94688077.tar.gz verismith-5edd6cf92222a9be2a41ebfbfb33dd1c94688077.zip | |
Add reduction stage back
Diffstat (limited to 'src')
| -rw-r--r-- | src/Verismith/Reduce.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs index 8f7bd7b..8e3c9d2 100644 --- a/src/Verismith/Reduce.hs +++ b/src/Verismith/Reduce.hs @@ -575,6 +575,7 @@ reduce fp eval src = >>= redAll "Statements" (const defaultBot) halveStatements -- >>= redAll "Expressions" (const defaultBot) halveExpr >>= red "Remove constants in concat" defaultBot removeConstInConcat + >>= red "Cleaning" defaultBot (pure . cleanSourceInfoAll) where red s bot a = reduce_ fp s a bot eval red' s bot a t = reduce_ fp s (a t) (bot t) eval |