diff options
| author |  akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com> | 2015-06-20 09:19:14 -0700 |
|---|---|---|
| committer | akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com> | 2015-06-20 09:19:14 -0700 |
| commit | c1dd3488ceb70d2b6f2b7970c2c6e5da99ab08a3 (patch) | |
| tree | bb07a4d4a691f80df1dbbf4e2e9399678c8e5b67 /Source/Provers | |
| parent | c57ef72622ef4bfd23dd42c656582bf0f778e6ee (diff) | |
| parent | d0f2ef8050f0fa2ed6315bc6fd448ee558420d75 (diff) | |
Merge branch 'master' of https://github.com/boogie-org/boogie
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/SMTLib/Z3.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/Z3.cs b/Source/Provers/SMTLib/Z3.cs index ffa4e0cb..bbc23917 100644 --- a/Source/Provers/SMTLib/Z3.cs +++ b/Source/Provers/SMTLib/Z3.cs @@ -52,7 +52,8 @@ namespace Microsoft.Boogie.SMTLib return;
}
- var proverExe = "z3.exe";
+ var proverExe = CommandLineOptions.Clo.Z3ExecutableName;
+ proverExe = proverExe == null ? "z3.exe" : proverExe;
if (_proverPath == null)
{
|