diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-14 20:23:44 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-14 20:23:44 +0100 |
commit | 481f628464e55cb4a69a6de3db496b38264a4949 (patch) | |
tree | 6257ab1002a0945e7de849d2e5b4bf0880ed0963 /src | |
parent | 8fdae391516016f8ab33a13ee8f1d03adfa7b53c (diff) | |
download | verismith-481f628464e55cb4a69a6de3db496b38264a4949.tar.gz verismith-481f628464e55cb4a69a6de3db496b38264a4949.zip |
Remove blocking assignment from Generation
Diffstat (limited to 'src')
-rw-r--r-- | src/VeriFuzz/Config.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs index 66c5aa2..ecda495 100644 --- a/src/VeriFuzz/Config.hs +++ b/src/VeriFuzz/Config.hs @@ -124,7 +124,7 @@ defaultConfig = Config (Probability defModItem defStmnt defExpr) (Property 20 Nothing 3 2 5) where defModItem = ProbModItem 5 1 1 - defStmnt = ProbStatement 5 5 1 1 + defStmnt = ProbStatement 0 5 1 1 defExpr = ProbExpr 1 1 1 1 1 1 0 1 1 twoKey :: Toml.Piece -> Toml.Piece -> Toml.Key |