diff options
| author |  Valentin Wüstholz <wuestholz@gmail.com> | 2015-05-18 23:39:48 +0200 |
|---|---|---|
| committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-05-18 23:39:48 +0200 |
| commit | 01829aa2ff554cea60e51b38b4ab1be41cc7ee57 (patch) | |
| tree | e4f0c108eb9175398c70270f4a1f62faf61d0804 /Source/Provers | |
| parent | 216c71366e6fff4e225b68ef6ff69035c9542b4a (diff) | |
Make it not return cached verification results for timed-out implementations when timeout diagnostics are enabled.
Diffstat (limited to 'Source/Provers')
0 files changed, 0 insertions, 0 deletions