From 3fbb87fe5c5058ecb2a2bdc30a999835aaced8af Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Sun, 3 Mar 2019 18:57:07 +0000 Subject: Add transformers and procedural generation --- src/VeriFuzz/Mutate.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/VeriFuzz/Mutate.hs') 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 -- cgit