From e2f6a008feb304fd4e6497bfc41a4a32740e2adf Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 10 Nov 2019 21:13:06 +0000
Subject: Add counter example parsing

---
 src/Verismith/Tool/Internal.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/Verismith/Tool/Internal.hs')

diff --git a/src/Verismith/Tool/Internal.hs b/src/Verismith/Tool/Internal.hs
index c2e3a0c..ee31c4e 100644
--- a/src/Verismith/Tool/Internal.hs
+++ b/src/Verismith/Tool/Internal.hs
@@ -54,6 +54,7 @@ import           Prelude               hiding (FilePath)
 import           Shelly
 import           Shelly.Lifted         (MonadSh, liftSh)
 import           System.FilePath.Posix (takeBaseName)
+import           Verismith.CounterEg   (CounterEg)
 import           Verismith.Internal
 import           Verismith.Result
 import           Verismith.Verilog.AST
@@ -74,7 +75,7 @@ class Tool a => Simulator a where
                  -> ResultSh ByteString
 
 data Failed = EmptyFail
-            | EquivFail
+            | EquivFail CounterEg
             | EquivError
             | SimFail
             | SynthFail
-- 
cgit