1 files changed, 10 insertions, 2 deletions
diff --git a/src/Verismith/Tool/Internal.hs b/src/Verismith/Tool/Internal.hs
index ee31c4e..b97c2f1 100644
--- a/src/Verismith/Tool/Internal.hs
+++ b/src/Verismith/Tool/Internal.hs
@@ -77,10 +77,18 @@ class Tool a => Simulator a where
 data Failed = EmptyFail
             | EquivFail CounterEg
             | EquivError
-            | SimFail
+            | SimFail ByteString
             | SynthFail
             | TimeoutError
-            deriving (Eq, Show)
+            deriving (Eq)
+
+instance Show Failed where
+    show EmptyFail     = "EmptyFail"
+    show (EquivFail _) = "EquivFail"
+    show EquivError    = "EquivError"
+    show (SimFail bs)  = "SimFail " <> T.unpack (T.take 10 $ showBS bs)
+    show SynthFail     = "SynthFail"
+    show TimeoutError  = "TimeoutError"
 
 instance Semigroup Failed where
     EmptyFail <> a = a