Merge

1 files changed, 11 insertions, 0 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index a9bd25ee..a1a4d740 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -411,6 +411,7 @@ namespace Microsoft.Boogie {
     public bool SimplifyLogFileAppend = false;

     public bool SoundnessSmokeTest = false;

     public string Z3ExecutablePath = null;

+	public string CVC4ExecutablePath = null;

 

     public enum ProverWarnings {

       None,

@@ -1268,6 +1269,12 @@ namespace Microsoft.Boogie {
           }

           return true;

 

+		case "cvc4exe":

+			if (ps.ConfirmArgumentCount(1)) {

+				CVC4ExecutablePath = args[ps.i];

+			}

+			return true;

+

         case "doBitVectorAnalysis":

           DoBitVectorAnalysis = true;

           if (ps.ConfirmArgumentCount(1)) {

@@ -1843,6 +1850,10 @@ namespace Microsoft.Boogie {
                 3 - (default) any

   /z3exe:<path>

                 path to Z3 executable

+

+  CVC4 specific options:

+  /cvc4exe:<path>

+                path to CVC4 executable

 ");

     }

   }