From 5370dfcf4f83048dc2b8ef8290677b6fa9fb0408 Mon Sep 17 00:00:00 2001
From: pantazis <pdeligia@me.com>
Date: Wed, 12 Jun 2013 13:18:53 +0100
Subject: fix on parser for bit vectors

---
 Source/Model/ModelParser.cs | 5 +++--
 1 file 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);
 
-- 
cgit v1.2.3