diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-03 17:30:51 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-03 17:30:51 +0100 |
| commit | 77559b722fca9c873e29d5735b309c0a8d8f2022 (patch) | |
| tree | ac1259d60954c95ab6bfe7437053471c8e4114f7 /src/VeriFuzz/Config.hs | |
| parent | 3eb5b42c118c555aea736b5ca9b685ecdf72bd14 (diff) | |
| download | verismith-77559b722fca9c873e29d5735b309c0a8d8f2022.tar.gz verismith-77559b722fca9c873e29d5735b309c0a8d8f2022.zip | |
Apply brittany to modified modules
Diffstat (limited to 'src/VeriFuzz/Config.hs')
| -rw-r--r-- | src/VeriFuzz/Config.hs | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs index eefebe2..b8a1062 100644 --- a/src/VeriFuzz/Config.hs +++ b/src/VeriFuzz/Config.hs @@ -83,15 +83,20 @@ twoKey a b = Toml.Key (a :| [b]) probCodec :: TomlCodec Probability probCodec = Probability - <$> defaultValue (defProb probAssign) (Toml.int $ twoKey "moditem" "assign") + <$> defaultValue (defProb probAssign) + (Toml.int $ twoKey "moditem" "assign") .= _probAssign - <*> defaultValue (defProb probAlways) (Toml.int $ twoKey "moditem" "always") + <*> defaultValue (defProb probAlways) + (Toml.int $ twoKey "moditem" "always") .= _probAlways - <*> defaultValue (defProb probBlock) (Toml.int $ twoKey "statement" "blocking") + <*> defaultValue (defProb probBlock) + (Toml.int $ twoKey "statement" "blocking") .= _probBlock - <*> defaultValue (defProb probNonBlock) (Toml.int $ twoKey "statement" "nonblocking") + <*> defaultValue (defProb probNonBlock) + (Toml.int $ twoKey "statement" "nonblocking") .= _probNonBlock - <*> defaultValue (defProb probNonBlock) (Toml.int $ twoKey "statement" "conditional") + <*> defaultValue (defProb probNonBlock) + (Toml.int $ twoKey "statement" "conditional") .= _probCond where defProb i = defaultConfig ^. configProbability . i @@ -103,7 +108,7 @@ propCodec = <*> Toml.dioptional (Toml.int "seed") .= _propSeed <*> defaultValue (defProp propDepth) (Toml.int "depth") - .= _propDepth + .= _propDepth where defProp i = defaultConfig ^. configProperty . i configCodec :: TomlCodec Config |