diff options
-rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 36e45fbc..7fffd6fc 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -111,7 +111,7 @@ namespace Microsoft.Boogie.SMTLib return SMTLibProcess.ComputerProcessStartInfo(path, "AUTO_CONFIG=false -smt2 -in");
case SolverKind.CVC4:
if (path == null)
- path = "cvc4";
+ path = CVC4.ExecutablePath();
return SMTLibProcess.ComputerProcessStartInfo(path, "--lang=smt --no-strict-parsing --no-condense-function-values --incremental");
default:
Debug.Assert(false);
|