diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 18:57:07 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 18:57:07 +0000 |
| commit | 3fbb87fe5c5058ecb2a2bdc30a999835aaced8af (patch) | |
| tree | 4a09cd8b77f7b37e56e5adf7724701d34462d403 /src/VeriFuzz/Mutate.hs | |
| parent | 97ff5c00d3e2b864238cadb225d26d4bebe72154 (diff) | |
| download | verismith-3fbb87fe5c5058ecb2a2bdc30a999835aaced8af.tar.gz verismith-3fbb87fe5c5058ecb2a2bdc30a999835aaced8af.zip | |
Add transformers and procedural generation
Diffstat (limited to 'src/VeriFuzz/Mutate.hs')
| -rw-r--r-- | src/VeriFuzz/Mutate.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/VeriFuzz/Mutate.hs b/src/VeriFuzz/Mutate.hs index b851d8d..e8b510f 100644 --- a/src/VeriFuzz/Mutate.hs +++ b/src/VeriFuzz/Mutate.hs @@ -191,7 +191,8 @@ makeTopAssert = (modItems %~ (++ [assert])) . (modInPorts %~ addClk) . makeTop -- | Provide declarations for all the ports that are passed to it. declareMod :: [Port] -> ModDecl -> ModDecl -declareMod ports = modItems %~ (decl ++) where decl = Decl Nothing <$> ports +declareMod ports = initMod . (modItems %~ (decl ++)) + where decl = Decl Nothing <$> ports -- | Simplify an 'Expr' by using constants to remove 'BinaryOperator' and -- simplify expressions. To make this work effectively, it should be run until |