diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-10-14 18:54:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-14 23:54:28 +0000 |
| commit | cf4b6eab2f451a29cf0ca3b94b02c32c22b273a4 (patch) | |
| tree | 3b58fe2b30dfbb60e4b9a0439e11d8c2d4a10c40 /test/regress/CMakeLists.txt | |
| parent | 2e50a66e1cb58a86ff456948a6efff492487c21a (diff) | |
Add regressions for fixed issues (#7369)
Fixes #4393. Fixes #3966.
These issues do not occur on current master.
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 819bb94e4..54fb91db4 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -498,6 +498,7 @@ set(regress_0_tests regress0/datatypes/is_test.smt2 regress0/datatypes/issue1433.smt2 regress0/datatypes/issue2838.cvc.smt2 + regress0/datatypes/issue4393-cdt-model.smt2 regress0/datatypes/issue5280-no-nrec.smt2 regress0/datatypes/jsat-2.6.smt2 regress0/datatypes/list-bool.smt2 @@ -1709,6 +1710,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/issue4791-llr.smt2 regress1/nl/issue5372-2-no-m-presolve.smt2 regress1/nl/issue5662-nl-tc.smt2 |