diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2016-06-06 21:09:06 -0600 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2016-06-06 21:09:06 -0600 |
| commit | 5cff8cd77c629ec8e48a2498b1e704173306586a (patch) | |
| tree | 8ab0b6fbda08b12e9b2635efdb5806371197c58c /Source/Provers/SMTLib/SMTLibProcess.cs | |
| parent | c19c2495497d0dfa7aaf871cf833cd5e5f986d33 (diff) | |
finished testing, fixed several minor compiler bugs
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProcess.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibProcess.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs index 4982d81e..bc94e253 100644 --- a/Source/Provers/SMTLib/SMTLibProcess.cs +++ b/Source/Provers/SMTLib/SMTLibProcess.cs @@ -93,7 +93,7 @@ namespace Microsoft.Boogie.SMTLib log = log.Replace("\r", "").Replace("\n", " ");
Console.WriteLine("[SMT-INP-{0}] {1}", smtProcessId, log);
}
- Console.WriteLine(cmd);
+ //Console.WriteLine(cmd);
toProver.WriteLine(cmd);
}
|