aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Gen.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz/Gen.hs')
-rw-r--r--src/VeriFuzz/Gen.hs7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/VeriFuzz/Gen.hs b/src/VeriFuzz/Gen.hs
index 3413ee6..1e83888 100644
--- a/src/VeriFuzz/Gen.hs
+++ b/src/VeriFuzz/Gen.hs
@@ -54,7 +54,12 @@ randomMod inps total = do
let other = drop inps ident
let y = ModCA . ContAssign "y" . fold $ Id <$> drop inps ids
let yport = [wire (sumSize other) "y"]
- return . initMod . declareMod other . ModDecl "test_module" yport inputs_ $ x ++ [y]
+ return
+ . initMod
+ . declareMod other
+ . ModDecl "test_module" yport inputs_
+ $ x
+ ++ [y]
where
ids = toId <$> [1 .. total]
end = drop inps ids