diff options
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 |