diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-12-03 20:03:17 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-12-03 20:03:17 +0000 |
commit | d29813263852c866f20f88504860120820499411 (patch) | |
tree | 7f224cbfba855f3cd9c94911fcd863824de251fd /src/Verismith/Tool/Internal.hs | |
parent | c59a9178c701f4a514b980d0b8d66a6bd238fb19 (diff) | |
download | verismith-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.hs | 2 |
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 |