From a3d3f5d17458461078e10ed1338ea323eda9ec5f Mon Sep 17 00:00:00 2001 From: ajreynol Date: Fri, 24 Jan 2025 11:52:50 -0600 Subject: [PATCH] Disable unstable regression --- test/regress/cli/CMakeLists.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/regress/cli/CMakeLists.txt b/test/regress/cli/CMakeLists.txt index d4dc2ced257..7628b4b3f9d 100644 --- a/test/regress/cli/CMakeLists.txt +++ b/test/regress/cli/CMakeLists.txt @@ -2864,7 +2864,6 @@ set(regress_1_tests regress1/quantifiers/choice-move-delta-relt.smt2 regress1/quantifiers/const.cvc.smt2 regress1/quantifiers/constfunc.cvc.smt2 - regress1/quantifiers/dd_verisec-dt-sygus.smt2 regress1/quantifiers/dd.binary_trees.adb_1105_16_loop_invariant_init_1.smt2 regress1/quantifiers/dd.bug812-ieval.smt2 regress1/quantifiers/dd_ghc_macro_quant_prenex.smt2 @@ -3969,6 +3968,8 @@ set(regression_disabled_tests regress1/quantifiers/anti-sk-simp.smt2 # no longer support snorm option regress1/quantifiers/arith-snorm.smt2 + # timeout on some builds with proofs, unsat cores + regress1/quantifiers/dd_verisec-dt-sygus.smt2 # timeout on some builds after changes to justification heuristic regress1/quantifiers/infer-arith-trigger-eq.smt2 # ajreynol: different error messages on production and debug: