Fixed issue involving axioms in the dependency analysis used for verification result caching.

1 files changed, 2 insertions, 0 deletions

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();