From 659e25c9d5b8a31ab3b8412b658c5e7b11f9408e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 9 Apr 2020 16:35:03 +0100 Subject: Add option to drop reg and wire from output --- src/Verismith.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/Verismith.hs') diff --git a/src/Verismith.hs b/src/Verismith.hs index 578b7ac..c9d3e78 100644 --- a/src/Verismith.hs +++ b/src/Verismith.hs @@ -107,6 +107,8 @@ randomise config@(Config a _ c d e) = do ssc <- return $ cs ^. probStmntCond ssf <- return $ cs ^. probStmntFor en <- return $ ce ^. probExprNum + keep_out <- return $ cmo ^. probModDropOutput + drop_out <- randDelete $ cmo ^. probModDropOutput ei <- randDelete $ ce ^. probExprId ers <- randDelete $ ce ^. probExprRangeSelect euo <- randDelete $ ce ^. probExprUnOp @@ -121,6 +123,7 @@ randomise config@(Config a _ c d e) = do (Probability (ProbModItem mia misa mica mii) (ProbStatement ssb ssnb ssc ssf) (ProbExpr en ei ers euo ebo ec eco estr esgn eus) + (ProbMod drop_out keep_out) ) c d @@ -129,6 +132,7 @@ randomise config@(Config a _ c d e) = do cm = config ^. configProbability . probModItem cs = config ^. configProbability . probStmnt ce = config ^. configProbability . probExpr + cmo = config ^. configProbability . probMod handleOpts :: Opts -> IO () handleOpts (Fuzz o configF f k n nosim noequiv noreduction file top cc checker) = do -- cgit