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