aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Generate.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2021-04-26 11:38:55 +0100
committerYann Herklotz <git@yannherklotz.com>2021-04-26 11:38:55 +0100
commit326048aeac6f846d8ad52c2a66f73219426f8bea (patch)
treea86c5a045e47900d9d78be680cf3e43a0454131b /src/Verismith/Generate.hs
parent773acb06f15d49b810b76508505f5df5a84f8172 (diff)
downloadverismith-326048aeac6f846d8ad52c2a66f73219426f8bea.tar.gz
verismith-326048aeac6f846d8ad52c2a66f73219426f8bea.zip
Fix parser for a larger set of inputs
- Added support for parameter parsing - Added support for parameter declaration for instantiations - Fix parsing of @(*) - Fix parsing of `timescale - Add parsing for case statements with default
Diffstat (limited to 'src/Verismith/Generate.hs')
-rw-r--r--src/Verismith/Generate.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Verismith/Generate.hs b/src/Verismith/Generate.hs
index 51bd066..ecf96e3 100644
--- a/src/Verismith/Generate.hs
+++ b/src/Verismith/Generate.hs
@@ -542,8 +542,8 @@ instantiate (ModDecl i outP inP _ _) = do
$ inpFixed ^.. traverse . portSize
ident <- makeIdentifier "modinst"
Hog.choice
- [ return . ModInst i ident $ ModConn <$> (toE (outs <> clkPort <> ins) <> insLit),
- ModInst i ident
+ [ return . ModInst i [] ident $ ModConn <$> (toE (outs <> clkPort <> ins) <> insLit),
+ ModInst i [] ident
<$> Hog.shuffle
( zipWith
ModConnNamed