From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sat, 6 Nov 2021 00:03:15 +0000 (-0700)
Subject: Disable regress2 test. (#7591)
X-Git-Tag: cvc5-1.0.0~873
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab4e728f1636ffd4681f4a8b4143307c24c78081;p=cvc5.git

Disable regress2 test. (#7591)
---

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