diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-02-14 22:35:40 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-02-14 22:35:40 -0800 |
| commit | 86983da87ce7dd22a621fd379c1e103fe017ac75 (patch) | |
| tree | e74cf796155d7dd0fc5bf50a7e8520c76989f195 /Source/Provers/SMTLib/Z3.cs | |
| parent | efaf4ec02bd41e9c291b8199179eafb5dbea2fee (diff) | |
minor fix in tracing
Diffstat (limited to 'Source/Provers/SMTLib/Z3.cs')
| -rw-r--r-- | Source/Provers/SMTLib/Z3.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/Z3.cs b/Source/Provers/SMTLib/Z3.cs index f3d237d4..ce0265d3 100644 --- a/Source/Provers/SMTLib/Z3.cs +++ b/Source/Provers/SMTLib/Z3.cs @@ -44,7 +44,9 @@ namespace Microsoft.Boogie.SMTLib string firstTry = _proverPath;
if (File.Exists(firstTry)) {
- Console.WriteLine("[TRACE] Using prover: " + _proverPath);
+ if (CommandLineOptions.Clo.Trace) {
+ Console.WriteLine("[TRACE] Using prover: " + _proverPath);
+ }
return;
}
|