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/ExecutionEngine/VerificationResultCache.cs | |
| parent | 216c71366e6fff4e225b68ef6ff69035c9542b4a (diff) | |
Make it not return cached verification results for timed-out implementations when timeout diagnostics are enabled.
Diffstat (limited to 'Source/ExecutionEngine/VerificationResultCache.cs')
| -rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index cfbd5285..a18cee05 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -667,6 +667,10 @@ namespace Microsoft.Boogie {
priority = Priority.LOW;
}
+ else if (result.Outcome == ConditionGeneration.Outcome.TimedOut && CommandLineOptions.Clo.RunDiagnosticsOnTimeout)
+ {
+ priority = Priority.MEDIUM;
+ }
else
{
priority = Priority.SKIP;
|