diff options
Diffstat (limited to 'Source/Model/ModelParser.cs')
-rw-r--r-- | Source/Model/ModelParser.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Source/Model/ModelParser.cs b/Source/Model/ModelParser.cs index fcc4cda6..723ccce5 100644 --- a/Source/Model/ModelParser.cs +++ b/Source/Model/ModelParser.cs @@ -22,6 +22,7 @@ namespace Microsoft.Boogie string lastLine = ""; protected static char[] seps = new char[] { ' ' }; + protected static Regex bv = new Regex(@"\(_ BitVec (\d+)\)"); protected void NewModel() { @@ -90,8 +91,6 @@ namespace Microsoft.Boogie class ParserZ3_2 : ModelParser { - static Regex bv = new Regex(@"\(_ BitVec (\d+)\)"); - List<object> GetFunctionTokens(string newLine) { if (newLine == null) @@ -396,6 +395,8 @@ namespace Microsoft.Boogie if (newLine == null) return null; + newLine = bv.Replace(newLine, "bv${1}"); + string line = newLine; int openParenCounter = CountOpenParentheses(newLine, 0); |