diff options
author | MichalMoskal <unknown> | 2011-02-17 22:15:46 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2011-02-17 22:15:46 +0000 |
commit | 04595976af73e34f31c529b40f0761adbc6f3902 (patch) | |
tree | f1558eb621cbfcaf1f8ebfad7c6b98f07bf30177 /Source/Provers/SMTLib/SMTLibNamer.cs | |
parent | 5a35f0c711586f03613b5d1414bd26ade65b47c5 (diff) |
Use explicit mechanism for skipping to the next assertion
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibNamer.cs')
-rw-r--r-- | Source/Provers/SMTLib/SMTLibNamer.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/SMTLibNamer.cs b/Source/Provers/SMTLib/SMTLibNamer.cs index 2f8e86c8..80de8e3f 100644 --- a/Source/Provers/SMTLib/SMTLibNamer.cs +++ b/Source/Provers/SMTLib/SMTLibNamer.cs @@ -87,6 +87,11 @@ namespace Microsoft.Boogie.SMTLib return s;
}
+ public static string BlockedLabel(string s)
+ {
+ return "%block%" + s;
+ }
+
public static string QuoteId(string s)
{
return AddQuotes(NonKeyword(s));
|