aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Tool/Internal.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-12-03 20:03:17 +0000
committerYann Herklotz <git@yannherklotz.com>2019-12-03 20:03:17 +0000
commitd29813263852c866f20f88504860120820499411 (patch)
tree7f224cbfba855f3cd9c94911fcd863824de251fd /src/Verismith/Tool/Internal.hs
parentc59a9178c701f4a514b980d0b8d66a6bd238fb19 (diff)
downloadverismith-d29813263852c866f20f88504860120820499411.tar.gz
verismith-d29813263852c866f20f88504860120820499411.zip
Do not run counter example if no rerunner is specified
Diffstat (limited to 'src/Verismith/Tool/Internal.hs')
-rw-r--r--src/Verismith/Tool/Internal.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Verismith/Tool/Internal.hs b/src/Verismith/Tool/Internal.hs
index b97c2f1..dfa3f46 100644
--- a/src/Verismith/Tool/Internal.hs
+++ b/src/Verismith/Tool/Internal.hs
@@ -75,7 +75,7 @@ class Tool a => Simulator a where
-> ResultSh ByteString
data Failed = EmptyFail
- | EquivFail CounterEg
+ | EquivFail (Maybe CounterEg)
| EquivError
| SimFail ByteString
| SynthFail