Worked on the verification result caching (extracted functions).

1 files changed, 7 insertions, 0 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 9d446ebd..a5955c7a 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -1250,6 +1250,13 @@ namespace Microsoft.Boogie {
       return visitor.VisitProgram(this);

     }

 

+    int extractedFunctionCount;

+    public string FreshExtractedFunctionName()

+    {

+      var c = System.Threading.Interlocked.Increment(ref extractedFunctionCount);

+      return string.Format("##extracted_function##{0}", c);

+    }

+

     private int invariantGenerationCounter = 0;

 

     public Constant MakeExistentialBoolean(int StageId) {