From 0d82fe57a792b4b68826a9b0c72cf386052f1ff0 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 3 Aug 2014 13:42:36 +0200
Subject: Minor refactoring

---
 Source/ExecutionEngine/ExecutionEngine.cs         | 2 +-
 Source/ExecutionEngine/VerificationResultCache.cs | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'Source/ExecutionEngine')

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 05c4b44b..a9220a4c 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -1066,7 +1066,7 @@ namespace Microsoft.Boogie
       {
         #region Verify the implementation
 
-        verificationResult = new VerificationResult(requestId, impl.Checksum, impl.DependenciesChecksum, impl.Name, impl.tok, programId);
+        verificationResult = new VerificationResult(requestId, impl.Checksum, impl.DependencyChecksum, impl.Name, impl.tok, programId);
 
         using (var vcgen = CreateVCGen(program, checkers))
         {
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs
index b5f6d1cd..d44aff7f 100644
--- a/Source/ExecutionEngine/VerificationResultCache.cs
+++ b/Source/ExecutionEngine/VerificationResultCache.cs
@@ -197,7 +197,7 @@ namespace Microsoft.Boogie
       // TODO(wuestholz): Maybe we should speed up this lookup.
       var oldProc = programInCachedSnapshot.TopLevelDeclarations.OfType<Procedure>().FirstOrDefault(p => p.Name == node.Proc.Name);
       if (oldProc != null
-          && oldProc.DependenciesChecksum != node.Proc.DependenciesChecksum
+          && oldProc.DependencyChecksum != node.Proc.DependencyChecksum
           && node.AssignedAssumptionVariable == null)
       {
         if (DependencyCollector.AllFunctionDependenciesAreDefinedAndUnchanged(oldProc, Program))
@@ -236,7 +236,7 @@ namespace Microsoft.Boogie
         }
         else
         {
-          node.EmitDependenciesChecksum = true;
+          node.EmitDependencyChecksum = true;
         }
       }
 
@@ -308,7 +308,7 @@ namespace Microsoft.Boogie
       // TODO(wuestholz): Maybe we should speed up this lookup.
       var funcs = newProg.TopLevelDeclarations.OfType<Function>();
       return oldProc.DependenciesCollected
-             && (oldProc.FunctionDependencies == null || oldProc.FunctionDependencies.All(dep => funcs.Any(f => f.Name == dep.Name && f.DependenciesChecksum == dep.DependenciesChecksum)));
+             && (oldProc.FunctionDependencies == null || oldProc.FunctionDependencies.All(dep => funcs.Any(f => f.Name == dep.Name && f.DependencyChecksum == dep.DependencyChecksum)));
     }
 
     public override Procedure VisitProcedure(Procedure node)
@@ -437,7 +437,7 @@ namespace Microsoft.Boogie
       {
         priority = Priority.MEDIUM;
       }
-      else if (impl.DependenciesChecksum == null || result.DependeciesChecksum != impl.DependenciesChecksum)
+      else if (impl.DependencyChecksum == null || result.DependeciesChecksum != impl.DependencyChecksum)
       {
         priority = Priority.LOW;
       }
-- 
cgit v1.2.3