diff options
| -rw-r--r-- | src/VeriFuzz/Mutate.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/VeriFuzz/Mutate.hs b/src/VeriFuzz/Mutate.hs index 705e607..7295b63 100644 --- a/src/VeriFuzz/Mutate.hs +++ b/src/VeriFuzz/Mutate.hs @@ -166,3 +166,8 @@ makeTopAssert = (modItems %~ (++ [assert])) . (modInPorts %~ addClk) . makeTop 2 [TaskEnable $ Task "assert" [BinOp (Id "y_1") BinEq (Id "y_2")]] e = EPosEdge "clk" addClk = ((Port Wire 1 "clk") :) + +declareMod :: [Port] -> ModDecl -> ModDecl +declareMod ports = modItems %~ (decl++) + where + decl = Decl Nothing <$> ports |