From 326048aeac6f846d8ad52c2a66f73219426f8bea Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 26 Apr 2021 11:38:55 +0100 Subject: 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 --- src/Verismith/Generate.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Verismith/Generate.hs') 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 -- cgit