From 657c04b52dfbd2ab0323cd481fc6745fd51a05de Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sat, 18 Oct 2014 11:07:56 +0200
Subject: Did some refactoring.

---
 Source/ExecutionEngine/ExecutionEngine.cs | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

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

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 76caa5d3..a431904e 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -337,14 +337,17 @@ namespace Microsoft.Boogie
     public ConditionGeneration.Outcome Outcome { get; set; }
     public List<Counterexample> Errors;
 
-    public VerificationResult(string requestId, string checksum, string depsChecksum, string implementationName, IToken implementationToken, string programId = null)
+    public ISet<byte[]> AssertionChecksums { get; private set; }
+
+    public VerificationResult(string requestId, Implementation implementation, string programId = null)
     {
-      Checksum = checksum;
-      DependeciesChecksum = depsChecksum;
+      Checksum = implementation.Checksum;
+      DependeciesChecksum = implementation.DependencyChecksum;
       RequestId = requestId;
-      ImplementationName = implementationName;
-      ImplementationToken = implementationToken;
+      ImplementationName = implementation.Name;
+      ImplementationToken = implementation.tok;
       ProgramId = programId;
+      AssertionChecksums = implementation.AssertionChecksums;
     }
   }
 
@@ -1131,7 +1134,7 @@ namespace Microsoft.Boogie
       {
         #region Verify the implementation
 
-        verificationResult = new VerificationResult(requestId, impl.Checksum, impl.DependencyChecksum, impl.Name, impl.tok, programId);
+        verificationResult = new VerificationResult(requestId, impl, programId);
 
         using (var vcgen = CreateVCGen(program, checkers))
         {
-- 
cgit v1.2.3