From 4e9171d2b0dad5ea640ad781461a30910fbd73e5 Mon Sep 17 00:00:00 2001 From: Ken McMillan Date: Mon, 15 Jun 2015 14:19:46 -0700 Subject: adding z3name option --- Source/Core/CommandLineOptions.cs | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'Source/Core') diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index b57ea02a..309aab0e 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -484,6 +484,7 @@ namespace Microsoft.Boogie { public bool SimplifyLogFileAppend = false; public bool SoundnessSmokeTest = false; public string Z3ExecutablePath = null; + public string Z3ExecutableName = null; public string CVC4ExecutablePath = null; public int KInductionDepth = -1; @@ -1551,8 +1552,15 @@ namespace Microsoft.Boogie { Z3ExecutablePath = args[ps.i]; } return true; + // This sets name of z3 binary boogie binary directory, not path + case "z3name": + if (ps.ConfirmArgumentCount(1)) + { + Z3ExecutableName = args[ps.i]; + } + return true; - case "cvc4exe": + case "cvc4exe": if (ps.ConfirmArgumentCount(1)) { CVC4ExecutablePath = args[ps.i]; } -- cgit v1.2.3