diff options
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProverOptions.cs')
-rw-r--r-- | Source/Provers/SMTLib/SMTLibProverOptions.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProverOptions.cs b/Source/Provers/SMTLib/SMTLibProverOptions.cs index 84d0ba47..3f4ef5ac 100644 --- a/Source/Provers/SMTLib/SMTLibProverOptions.cs +++ b/Source/Provers/SMTLib/SMTLibProverOptions.cs @@ -92,7 +92,7 @@ namespace Microsoft.Boogie.SMTLib break;
case "cvc4":
Solver = SolverKind.CVC4;
- Logic = "QF_ALL_SUPPORTED";
+ if (Logic.Equals("")) Logic = "ALL_SUPPORTED";
break;
default:
ReportError("Invalid SOLVER value; must be 'z3' or 'cvc4'");
|