diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-02-09 12:43:49 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-02-09 12:43:49 -0800 |
| commit | d55bb4a7d5b43454cbb8c5588a7e69cf26871939 (patch) | |
| tree | 50927af92bc3d416830e355f41741878cf9f86bd /Source/Provers/SMTLib/Z3.cs | |
| parent | 1012e1a07ea7ba00533f196549f550a87ddbee60 (diff) | |
minor bug in printing z3 path when running with /trace
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 2b426f0b..f3d237d4 100644 --- a/Source/Provers/SMTLib/Z3.cs +++ b/Source/Provers/SMTLib/Z3.cs @@ -43,8 +43,10 @@ namespace Microsoft.Boogie.SMTLib _proverPath = Path.Combine(CodebaseString(), proverExe);
string firstTry = _proverPath;
- if (File.Exists(firstTry))
+ if (File.Exists(firstTry)) {
+ Console.WriteLine("[TRACE] Using prover: " + _proverPath);
return;
+ }
string programFiles = Environment.GetEnvironmentVariable("ProgramFiles");
Contract.Assert(programFiles != null);
|