diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-07 11:36:46 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-07 11:36:46 +0000 |
| commit | 7407dbc84b49287b5df64fb68e1d1b58d9cc8b22 (patch) | |
| tree | 5716240144691ceae2473be66c02cb568f3e9a38 /src/VeriFuzz/Config.hs | |
| parent | 9ea25484e6be5558826ea3487e23fb0d9aa38f63 (diff) | |
| download | verismith-7407dbc84b49287b5df64fb68e1d1b58d9cc8b22.tar.gz verismith-7407dbc84b49287b5df64fb68e1d1b58d9cc8b22.zip | |
Add proper register generation
Diffstat (limited to 'src/VeriFuzz/Config.hs')
| -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 d7fccb6..1c1b3bb 100644 --- a/src/VeriFuzz/Config.hs +++ b/src/VeriFuzz/Config.hs @@ -67,7 +67,7 @@ defaultValue defaultValue x = Toml.dimap Just (fromMaybe x) . Toml.dioptional defaultConfig :: Config -defaultConfig = Config (Probability 1 1 1 1) (Property 100 Nothing) +defaultConfig = Config (Probability 10 1 1 1) (Property 50 Nothing) probCodec :: TomlCodec Probability probCodec = |