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
 ");
     }
   }