From 5edd6cf92222a9be2a41ebfbfb33dd1c94688077 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 26 Dec 2019 00:02:45 +0100 Subject: Add reduction stage back --- src/Verismith/Reduce.hs | 1 + 1 file changed, 1 insertion(+) 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 -- cgit