diff options
Diffstat (limited to 'Source')
-rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index d44aff7f..0a2974c8 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -68,7 +68,7 @@ namespace Microsoft.Boogie readonly IEnumerable<Implementation> Implementations;
readonly Program Program;
// TODO(wuestholz): We should probably increase the threshold to something like 2 seconds.
- static readonly double TimeThreshold = 0.0;
+ static readonly double TimeThreshold = -1.0d;
Program programInCachedSnapshot;
Implementation currentImplementation;
int assumptionVariableCount;
|