diff options
author | pantazis <pdeligia@me.com> | 2013-06-12 11:56:12 +0100 |
---|---|---|
committer | pantazis <pdeligia@me.com> | 2013-06-12 11:56:12 +0100 |
commit | afa66db65a59b45960ffa172cfcb628a67a97177 (patch) | |
tree | 1741bc3011e0a77345eeae153ae9e734b9448837 /Source/Model | |
parent | 62358a4e290dca623f0af0bba72eeda6ec6dcaa2 (diff) |
Z3 new parser takes now a new option for pp-bv-literals
Diffstat (limited to 'Source/Model')
-rw-r--r-- | Source/Model/ModelParser.cs | 12 |
1 files changed, 6 insertions, 6 deletions
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) |