diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-10-21 14:14:24 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-21 12:14:24 -0500 |
| commit | 57b27e65de37f0d38821b1c2e9fb9d1c6b7d7ab2 (patch) | |
| tree | ba6cf408f92075d585705809b5e0c83390c9ca21 /test/regress/CMakeLists.txt | |
| parent | 109f17375661cc29f8125d289c4a776514c23e33 (diff) | |
[proofs] Fix open proof in SAT solver due to cycles (#7448)
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 8ef4ed362..fe7c3fdaf 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -852,6 +852,7 @@ set(regress_0_tests regress0/proofs/open-pf-datatypes.smt2 regress0/proofs/open-pf-if-unordered-iff.smt2 regress0/proofs/open-pf-rederivation.smt2 + regress0/proofs/qgu-fuzz-1-bool-sat.smt2 regress0/proofs/scope.smt2 regress0/proofs/trust-subs-eq-open.smt2 regress0/push-pop/boolean/fuzz_12.smt2 @@ -926,7 +927,7 @@ set(regress_0_tests regress0/quantifiers/issue4576.smt2 regress0/quantifiers/issue5645-dt-cm-spurious.smt2 regress0/quantifiers/issue5693-prenex.smt2 - regress0/quantifiers/issue6475-rr-const.smt2 + regress0/quantifiers/issue6475-rr-const.smt2 regress0/quantifiers/issue6603-dt-bool-cegqi.smt2 regress0/quantifiers/issue6838-qpdt.smt2 regress0/quantifiers/issue6996-trivial-elim.smt2 @@ -1727,7 +1728,7 @@ set(regress_1_tests regress1/nl/issue3656.smt2 regress1/nl/issue3803-nl-check-model.smt2 regress1/nl/issue3955-ee-double-notify.smt2 - regress1/nl/issue3966-conf-coeff.smt2 + regress1/nl/issue3966-conf-coeff.smt2 regress1/nl/issue4791-llr.smt2 regress1/nl/issue5372-2-no-m-presolve.smt2 regress1/nl/issue5660-mb-success.smt2 @@ -1927,7 +1928,7 @@ set(regress_1_tests regress1/quantifiers/issue5735-2-subtypes.smt2 regress1/quantifiers/issue5766-wrong-sel-trigger.smt2 regress1/quantifiers/issue5899-qe.smt2 - regress1/quantifiers/issue6607-witness-te.smt2 + regress1/quantifiers/issue6607-witness-te.smt2 regress1/quantifiers/issue6638-sygus-inst.smt2 regress1/quantifiers/issue6642-em-types.smt2 regress1/quantifiers/issue6699-nc-shadow.smt2 @@ -2236,7 +2237,7 @@ set(regress_1_tests regress1/strings/issue6653-rre-small.smt2 regress1/strings/issue6777-seq-nth-eval-cm.smt2 regress1/strings/issue6913.smt2 - regress1/strings/issue6973-dup-lemma-conc.smt2 + regress1/strings/issue6973-dup-lemma-conc.smt2 regress1/strings/kaluza-fl.smt2 regress1/strings/loop002.smt2 regress1/strings/loop003.smt2 |