Worked on the verification result caching.

1 files changed, 0 insertions, 9 deletions

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index 724885ed..2b16651b 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -1999,7 +1999,6 @@ namespace Microsoft.Boogie {
     public string/*!*/ callee { get; set; }

     public Procedure Proc;

     public LocalVariable AssignedAssumptionVariable;

-    public string ProcDependencyChecksumInPreviousSnapshot { get; set; }

 

     // Element of the following lists can be null, which means that

     // the call happens with * as these parameters

@@ -2087,14 +2086,6 @@ namespace Microsoft.Boogie {
         stream.Write(" := ");

       }

       stream.Write(TokenTextWriter.SanitizeIdentifier(callee));

-      if (stream.UseForComputingChecksums)

-      {

-        var c = ProcDependencyChecksumInPreviousSnapshot != null ? ProcDependencyChecksumInPreviousSnapshot : Proc.DependencyChecksum;

-        if (c != null)

-        {

-          stream.Write(string.Format("[dependency_checksum:{0}]", c));

-        }

-      }

       stream.Write("(");

       sep = "";

       foreach (Expr arg in Ins) {