From 454f7ff730ca2b17e6b9c705d36f071d66d9ef45 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 4 Jul 2014 05:15:38 +0200
Subject: Made it collect more statistics about the more advanced verification
 result caching.

---
 Source/ExecutionEngine/ExecutionEngine.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/ExecutionEngine/ExecutionEngine.cs')

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)
     {
-- 
cgit v1.2.3