diff options
author | 2013-07-15 12:57:32 +0100 | |
---|---|---|
committer | 2013-07-15 12:57:32 +0100 | |
commit | 345242630d744204df5908f5395d16dc92945686 (patch) | |
tree | 34da68752aba598427f51a5af19edc23f0aad44f /Source/Provers | |
parent | 578382b6bd2ace4926e9ed97cf59ec38c7b07797 (diff) |
small fix
Diffstat (limited to 'Source/Provers')
-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 815e5a45..72b35f01 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -106,7 +106,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);
|