From afa66db65a59b45960ffa172cfcb628a67a97177 Mon Sep 17 00:00:00 2001 From: pantazis Date: Wed, 12 Jun 2013 11:56:12 +0100 Subject: Z3 new parser takes now a new option for pp-bv-literals --- Source/Model/ModelParser.cs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'Source/Model') diff --git a/Source/Model/ModelParser.cs b/Source/Model/ModelParser.cs index cf0ea45f..a88e091e 100644 --- a/Source/Model/ModelParser.cs +++ b/Source/Model/ModelParser.cs @@ -169,13 +169,13 @@ namespace Microsoft.Boogie continue; var words = GetFunctionTokens(line); - + /* Console.WriteLine(""); for (int i = 0; i < words.Count; i++) { Console.Write(words[i] + " "); } - +*/ if (words.Count == 0) continue; var lastWord = words[words.Count - 1]; @@ -215,13 +215,13 @@ namespace Microsoft.Boogie fn = currModel.TryGetFunc(funName); for ( ; ; ) { var tuple = GetFunctionTokens(ReadLine()); - + /* Console.WriteLine(""); for (int i = 0; i < tuple.Count; i++) { Console.Write(tuple[i] + " "); } - +*/ if (tuple == null) BadModel("EOF in function table"); if (tuple.Count == 0) continue; string tuple0 = tuple[0] as string; @@ -598,13 +598,13 @@ namespace Microsoft.Boogie continue; var words = GetParsedTokens(line); - + /* Console.WriteLine(""); for (int i = 0; i < words.Count; i++) { Console.Write(words[i] + " "); } - +*/ if (words.Count == 0) continue; var lastToken = words[words.Count - 1]; if (currModel == null) -- cgit v1.2.3