diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-05-11 22:28:35 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-11 22:28:35 +0100 |
| commit | d1b04fc068b1484f8bd0020598d3a2f023772f46 (patch) | |
| tree | a8f67d67bc78f520fb599786bc130af8c52674ad /src/Verismith/Reduce.hs | |
| parent | 805f67c07cc15d784078b00a84f4055f84016cec (diff) | |
| download | verismith-d1b04fc068b1484f8bd0020598d3a2f023772f46.tar.gz verismith-d1b04fc068b1484f8bd0020598d3a2f023772f46.zip | |
Tests passing for new reduction
Diffstat (limited to 'src/Verismith/Reduce.hs')
| -rw-r--r-- | src/Verismith/Reduce.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs index 8595066..6b18232 100644 --- a/src/Verismith/Reduce.hs +++ b/src/Verismith/Reduce.hs @@ -35,6 +35,9 @@ module Verismith.Reduce , removeConstInConcat , takeReplace , filterExpr + , ReduceAnn(..) + , tagAlways + , untagAlways ) where @@ -61,6 +64,7 @@ import Verismith.Verilog import Verismith.Verilog.AST import Verismith.Verilog.Mutate import Verismith.Verilog.Parser +import Verismith.Verilog.CodeGen -- $strategy |