diff options
| author |  Ken McMillan <kenmcmil@microsoft.com> | 2015-06-15 14:19:46 -0700 |
|---|---|---|
| committer | Ken McMillan <kenmcmil@microsoft.com> | 2015-06-15 14:19:46 -0700 |
| commit | 4e9171d2b0dad5ea640ad781461a30910fbd73e5 (patch) | |
| tree | d99f3f9af9980b918d0d88a53c34e579b85a4159 /Source/Provers | |
| parent | 0e851041485039a07684e0db5b584cd1237d3dfd (diff) | |
adding z3name option
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)
{
|