From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 1 Mar 2022 17:01:50 +0000 (-0600)
Subject: Disable regression (#8191)
X-Git-Tag: cvc5-1.0.0~354
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f6ba348d9de2109fa840464c4705944f81710a10;p=cvc5.git

Disable regression (#8191)

Benchmark is "unknown" on some builds. We don't have a strong reason why we will always say "sat" for this benchmark.

Fixes one of the issues in the nightlies.
---

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index 95fe01c0f..4171925fc 100644
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -64,7 +64,6 @@ set(regress_0_tests
   regress0/arith/issue4525.smt2
   regress0/arith/issue5219-conflict-rewrite.smt2
   regress0/arith/issue5761-ppr.smt2
-  regress0/arith/issue7984-quant-trans.smt2
   regress0/arith/issue8097-iid.smt2
   regress0/arith/ite-lift.smt2
   regress0/arith/leq.01.smtv1.smt2
@@ -2956,6 +2955,8 @@ set(regress_4_tests
 
 set(regression_disabled_tests
   regress0/arith/miplib-opt1217--27.smtv1.smt2
+  # unknown on some builds
+  regress0/arith/issue7984-quant-trans.smt2
   regress0/aufbv/dubreva005ue.smtv1.smt2
   regress0/aufbv/fifo32bc06k08.smtv1.smt2
   regress0/aufbv/fifo32in06k08.smtv1.smt2