diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-06 20:39:41 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-06 20:39:41 +0100 |
| commit | 783ee3f88393a1936cef88ae35b3b4e1b97a1c5a (patch) | |
| tree | b4138eb893a7efdb06fe80a0548db19a10c802cf /src/VeriFuzz/Config.hs | |
| parent | af9991b01ae2732aef5ed379fab898bdb46d2095 (diff) | |
| download | verismith-783ee3f88393a1936cef88ae35b3b4e1b97a1c5a.tar.gz verismith-783ee3f88393a1936cef88ae35b3b4e1b97a1c5a.zip | |
Fix bug in Config.hs
Diffstat (limited to 'src/VeriFuzz/Config.hs')
| -rw-r--r-- | src/VeriFuzz/Config.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs index 6c0d058..1a2681a 100644 --- a/src/VeriFuzz/Config.hs +++ b/src/VeriFuzz/Config.hs @@ -130,7 +130,7 @@ import qualified Toml -- [probability] -- eventlist.all = 0 -- eventlist.clk = 1 --- eventlist.var = 1 +-- eventlist.var = 0 -- expr.binary = 5 -- expr.concatenation = 3 -- expr.number = 1 @@ -146,7 +146,7 @@ import qualified Toml -- moditem.instantiation = 1 -- statement.blocking = 0 -- statement.conditional = 1 --- statement.forloop = 1 +-- statement.forloop = 0 -- statement.nonblocking = 3 -- <BLANKLINE> -- [property] @@ -276,7 +276,7 @@ defaultConfig = Config ProbStatement 0 -- Blocking assignment 3 -- Non-blocking assignment 1 -- Conditional - 1 -- For loop + 0 -- For loop defExpr = ProbExpr 1 -- Number 5 -- Identifier @@ -359,10 +359,10 @@ eventListCodec = ProbEventList <$> defaultValue (defProb probEventListClk) (intE "clk") .= _probEventListClk - <*> defaultValue (defProb probEventListClk) (intE "all") + <*> defaultValue (defProb probEventListAll) (intE "all") .= _probEventListAll - <*> defaultValue (defProb probEventListClk) (intE "var") - .= _probEventListClk + <*> defaultValue (defProb probEventListVar) (intE "var") + .= _probEventListVar where defProb i = defaultConfig ^. configProbability . probEventList . i intE = int "eventlist" |