diff options
| author |  akashlal <unknown> | 2014-11-05 10:04:54 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2014-11-05 10:04:54 +0530 |
| commit | c79c776526729ee9cf3cbf6fef652c3eeb0e86cc (patch) | |
| tree | ef9cca5eccf0df23ace79088affee2d9f8f92c6d /Source | |
| parent | f868592a1cc6552cbb2973714e81114035bbe3b2 (diff) | |
Logging for SMTLib prover
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 1b52d797..ece49e23 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -182,6 +182,11 @@ namespace Microsoft.Boogie.SMTLib return msg;
}
+ public override void LogComment(string comment)
+ {
+ SendCommon("; " + comment);
+ }
+
private void SendCommon(string s)
{
Send(s, true);
|