diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 20:35:00 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 20:35:00 +0100 |
| commit | ed491e5c36e7bf298dfd969c0a222100ac532f18 (patch) | |
| tree | 169d3ad06da52f3afd812f73418d65c73cfee039 /src/VeriFuzz/Sim/Internal.hs | |
| parent | fc82160dae684d8ee86326210b359982c66d7bf3 (diff) | |
| download | verismith-ed491e5c36e7bf298dfd969c0a222100ac532f18.tar.gz verismith-ed491e5c36e7bf298dfd969c0a222100ac532f18.zip | |
Add more reporting to equivalence check
Diffstat (limited to 'src/VeriFuzz/Sim/Internal.hs')
| -rw-r--r-- | src/VeriFuzz/Sim/Internal.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/VeriFuzz/Sim/Internal.hs b/src/VeriFuzz/Sim/Internal.hs index 091520c..ea90122 100644 --- a/src/VeriFuzz/Sim/Internal.hs +++ b/src/VeriFuzz/Sim/Internal.hs @@ -74,8 +74,10 @@ class Tool a => Simulator a where data Failed = EmptyFail | EquivFail + | EquivError | SimFail | SynthFail + | TimeoutError deriving (Eq, Show) instance Semigroup Failed where |