diff options
author | wuestholz <unknown> | 2014-07-04 05:15:38 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-07-04 05:15:38 +0200 |
commit | 454f7ff730ca2b17e6b9c705d36f071d66d9ef45 (patch) | |
tree | 445f676dbdd4c94d12ed38c10893e36212b74a48 /Source/ExecutionEngine/ExecutionEngine.cs | |
parent | 06aadffd71f2d96070703371c62bd0e14c76b91f (diff) |
Made it collect more statistics about the more advanced verification result caching.
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.cs')
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index f1f18667..21e29c44 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -405,7 +405,7 @@ namespace Microsoft.Boogie public readonly static VerificationResultCache Cache = new VerificationResultCache();
static readonly MemoryCache programCache = new MemoryCache("ProgramCache");
- static readonly CacheItemPolicy policy = new CacheItemPolicy { SlidingExpiration = new TimeSpan(0, 10, 0) };
+ static readonly CacheItemPolicy policy = new CacheItemPolicy { SlidingExpiration = new TimeSpan(0, 10, 0), Priority = CacheItemPriority.Default };
public static Program CachedProgram(string programId)
{
|