diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-10-18 14:59:56 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-18 14:59:56 +0100 |
commit | 945c7435a41b93ff243b69f18a9c0216a7b70e24 (patch) | |
tree | 9087a6e87ab704f8a54ac9bba8865df51ca21eb2 /src/Verismith/Report.hs | |
parent | e014fac05e6aab6bf686d3a002ca21e7adb13072 (diff) | |
download | verismith-945c7435a41b93ff243b69f18a9c0216a7b70e24.tar.gz verismith-945c7435a41b93ff243b69f18a9c0216a7b70e24.zip |
Add -k functionality
Diffstat (limited to 'src/Verismith/Report.hs')
-rw-r--r-- | src/Verismith/Report.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Verismith/Report.hs b/src/Verismith/Report.hs index 6c25f5c..f0608f2 100644 --- a/src/Verismith/Report.hs +++ b/src/Verismith/Report.hs @@ -192,9 +192,9 @@ instance Show SynthStatus where -- | The complete state that will be used during fuzzing, which contains the -- results from all the operations. data FuzzReport = FuzzReport { _fuzzDir :: !FilePath - , _synthResults :: ![SynthResult] - , _simResults :: ![SimResult] - , _synthStatus :: ![SynthStatus] + , _synthResults :: ![SynthResult] -- ^ Results of the equivalence check. + , _simResults :: ![SimResult] -- ^ Results of the simulation. + , _synthStatus :: ![SynthStatus] -- ^ Results of the synthesis step. , _fileLines :: {-# UNPACK #-} !Int , _synthTime :: !NominalDiffTime , _equivTime :: !NominalDiffTime |