diff options
| author |  wuestholz <unknown> | 2014-09-19 11:03:36 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-09-19 11:03:36 +0200 |
| commit | f909bceb37a15c2a99668aa56dfefc321cff074a (patch) | |
| tree | 8aca06448ae99fef21892e2ec1acf9e0103806fb /Source/ExecutionEngine/VerificationResultCache.cs | |
| parent | 59525a2d69f1c4443a8b0f5dfb4c0e9de62b7200 (diff) | |
Fixed minor issue.
Diffstat (limited to 'Source/ExecutionEngine/VerificationResultCache.cs')
| -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;
|