diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-07-15 10:56:56 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-15 10:56:56 +0100 |
| commit | ee4be4f6280d39c31d95e50ac3ac039c6d2ba5f5 (patch) | |
| tree | 16a8fdbe37586595bd1cfc37b6fc52a4f644d5bc | |
| parent | 0c04738d73d4253135cc248a02dd7ac3d2d97d5a (diff) | |
temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ALL_SUPPORTED)
| -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 3252dd57..84d0ba47 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 = "ALL_SUPPORTED";
+ Logic = "QF_ALL_SUPPORTED";
break;
default:
ReportError("Invalid SOLVER value; must be 'z3' or 'cvc4'");
|