diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-10 19:09:28 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-10 19:09:28 +0100 |
| commit | 5691f81906b703e2b29be24091c5585b33cb9428 (patch) | |
| tree | 025a5b4e2fac85e507ad88ff60e4c97e8cb4bdc6 /src/VeriFuzz/Config.hs | |
| parent | ee65910032449d37165a19cd84b7a9f014ea5bae (diff) | |
| download | verismith-5691f81906b703e2b29be24091c5585b33cb9428.tar.gz verismith-5691f81906b703e2b29be24091c5585b33cb9428.zip | |
Fixed parser to parse all the generated verilog
Diffstat (limited to 'src/VeriFuzz/Config.hs')
| -rw-r--r-- | src/VeriFuzz/Config.hs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs index 1ce7b11..04b2d78 100644 --- a/src/VeriFuzz/Config.hs +++ b/src/VeriFuzz/Config.hs @@ -189,13 +189,13 @@ data Probability = Probability { _probModItem :: {-# UNPACK #-} !ProbModItem } deriving (Eq, Show) -data ConfProperty = ConfProperty { _propSize :: {-# UNPACK #-} !Int - , _propSeed :: !(Maybe Seed) - , _propStmntDepth :: {-# UNPACK #-} !Int - , _propModDepth :: {-# UNPACK #-} !Int - , _propMaxModules :: {-# UNPACK #-} !Int - } - deriving (Eq, Show) +data ConfProperty = ConfProperty { _propSize :: {-# UNPACK #-} !Int + , _propSeed :: !(Maybe Seed) + , _propStmntDepth :: {-# UNPACK #-} !Int + , _propModDepth :: {-# UNPACK #-} !Int + , _propMaxModules :: {-# UNPACK #-} !Int + } + deriving (Eq, Show) data Info = Info { _infoCommit :: !Text , _infoVersion :: !Text |