From 9906b22bffd73b7d305f6836a4b606b6849b4487 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 25 Oct 2019 09:12:03 +0100 Subject: Add the literal list to the mod instantiation --- src/Verismith/Generate.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/Verismith/Generate.hs') diff --git a/src/Verismith/Generate.hs b/src/Verismith/Generate.hs index 25b9306..9bf7c58 100644 --- a/src/Verismith/Generate.hs +++ b/src/Verismith/Generate.hs @@ -450,9 +450,10 @@ instantiate (ModDecl i outP inP _ _) = do ident <- makeIdentifier "modinst" vs <- view variables <$> lget Hog.choice - [ return . ModInst i ident $ ModConn <$> toE (outs <> clkPort <> ins) + [ return . ModInst i ident $ ModConn <$> (toE (outs <> clkPort <> ins) <> insLit) , ModInst i ident <$> Hog.shuffle - (zipWith ModConnNamed (view portName <$> outP <> clkPort <> inpFixed) (toE $ outs <> clkPort <> ins)) + (zipWith ModConnNamed (view portName <$> outP <> clkPort <> inpFixed) + (toE (outs <> clkPort <> ins) <> insLit)) ] where toE ins = Id . view portName <$> ins -- cgit