diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-09 16:35:03 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-09 16:35:03 +0100 |
commit | 659e25c9d5b8a31ab3b8412b658c5e7b11f9408e (patch) | |
tree | 80063bda340f6dc72e4d0ad911a229b443c2819b /src/Verismith.hs | |
parent | d86cb8fd763e687cf2cd7ad40094d15ebba6bf87 (diff) | |
download | verismith-659e25c9d5b8a31ab3b8412b658c5e7b11f9408e.tar.gz verismith-659e25c9d5b8a31ab3b8412b658c5e7b11f9408e.zip |
Add option to drop reg and wire from output
Diffstat (limited to 'src/Verismith.hs')
-rw-r--r-- | src/Verismith.hs | 4 |
1 files changed, 4 insertions, 0 deletions
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 |