From 4e9171d2b0dad5ea640ad781461a30910fbd73e5 Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Mon, 15 Jun 2015 14:19:46 -0700
Subject: adding z3name option

---
 Source/Provers/SMTLib/Z3.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Source/Provers')

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)
             {
-- 
cgit v1.2.3