From d274c9f110459096a71b8aabbcf7cf27582bf70e Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 3 Jul 2014 03:20:50 +0200
Subject: Fixed issue involving axioms in the dependency analysis used for
 verification result caching.

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

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

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 74d299d1..f1f18667 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -871,6 +871,8 @@ namespace Microsoft.Boogie
       Implementation[] stablePrioritizedImpls = null;
       if (0 < CommandLineOptions.Clo.VerifySnapshots)
       {
+        // TODO(wuestholz): Maybe we should speed up this lookup.
+        OtherDefinitionAxiomsCollector.Collect(program.TopLevelDeclarations.OfType<Axiom>());
         impls.Iter(impl => { DependencyCollector.DependenciesChecksum(impl); });
         stablePrioritizedImpls = impls.OrderByDescending(
           impl => impl.Priority != 1 ? impl.Priority : Cache.VerificationPriority(impl)).ToArray();
-- 
cgit v1.2.3