diff options
| author |  pantazis <pdeligia@me.com> | 2013-06-13 04:35:43 +0100 |
|---|---|---|
| committer | pantazis <pdeligia@me.com> | 2013-06-13 04:35:43 +0100 |
| commit | e2a0f4614b14ca10d6813ed6ce3d84c077872770 (patch) | |
| tree | 69283b9134ce7b1d1769830a68380afd26b83b54 /Source/Provers/SMTLib/ProverInterface.cs | |
| parent | b8b543484eba84d3aaf437333656017ad474b372 (diff) | |
merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compact parser
Diffstat (limited to 'Source/Provers/SMTLib/ProverInterface.cs')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index eaa42b38..e2aceabd 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -878,7 +878,7 @@ namespace Microsoft.Boogie.SMTLib if (resp.Arguments[i].ToString().Contains("define-fun"))
modelStr += resp.Arguments[i] + "\n";
}
- //Console.WriteLine(modelStr);
+ Console.WriteLine(modelStr);
}
else if (resp.ArgCount == 0 && resp.Name.Contains("->")) {
modelStr = resp.Name;
|