diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-05-19 18:05:07 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-19 21:05:07 +0000 |
| commit | 1c0a94f3797c0746c760009975012cfd0a247583 (patch) | |
| tree | 9f306a9fc45c978fafef2f662c4f21a78016e84f /test/regress/CMakeLists.txt | |
| parent | 467a94cde962d90d3970c4378fc5f2b8a2476352 (diff) | |
Adding regressions that failed on old unsat cores (#6574)
We can thus close #3455, #3651, #4925, #5079, #5238, #5902, #5908, and #5604.
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 21a9f04b8..1478ae072 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -432,6 +432,14 @@ set(regress_0_tests regress0/bv/unsound1-reduced.smt2 regress0/chained-equality.smt2 regress0/constant-rewrite.smtv1.smt2 + regress0/cores/issue3455.smt2 + regress0/cores/issue3651.smt2 + regress0/cores/issue4925.smt2 + regress0/cores/issue4971-3.smt2 + regress0/cores/issue5079.smt2 + regress0/cores/issue5238.smt2 + regress0/cores/issue5902.smt2 + regress0/cores/issue5908.smt2 regress0/cvc-rerror-print.cvc regress0/cvc3-bug15.cvc regress0/cvc3.userdoc.01.cvc @@ -1487,6 +1495,7 @@ set(regress_1_tests regress1/bvdiv2.smt2 regress1/constarr3.cvc regress1/constarr3.smt2 + regress1/cores/issue5604.smt2 regress1/datatypes/acyclicity-sr-ground096.smt2 regress1/datatypes/dt-color-2.6.smt2 regress1/datatypes/dt-param-card4-unsat.smt2 |