diff options
Diffstat (limited to 'Source/Core/Absy.cs')
| -rw-r--r-- | Source/Core/Absy.cs | 7 |
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) {
|