diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-11-05 17:03:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-06 00:03:15 +0000 |
| commit | ab4e728f1636ffd4681f4a8b4143307c24c78081 (patch) | |
| tree | b88d79ef9f98806940d3dd6f9600949406f33301 | |
| parent | 7762098d624be5c46fee33a98dc8b85a9335dd43 (diff) | |
Disable regress2 test. (#7591)
| -rw-r--r-- | test/regress/CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index a61b9df19..f6e52eb34 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2585,7 +2585,6 @@ set(regress_2_tests regress2/bv_to_int_bvuf_to_intuf_smtlib.smt2 regress2/bv_to_int_bvmul1.smt2 regress2/bv_to_int_inc1.smt2 - regress2/bv_to_int_mask_array_1.smt2 regress2/bv_to_int_mask_array_2.smt2 regress2/bv_to_int_mask_array_3.smt2 regress2/bv_to_int_shifts.smt2 @@ -2860,6 +2859,8 @@ set(regression_disabled_tests # previously sygus inference did not apply, now (correctly) times out regress1/sygus/issue3498.smt2 regress2/arith/miplib-opt1217--27.smt2 + # times out after #7345 + regress2/bv_to_int_mask_array_1.smt2 regress2/nl/dumortier-050317.smt2 # timeout on some builds after changes to justification heuristic regress2/nl/nt-lemmas-bad.smt2 |