From 8980a204958bc550532a653b913591c33ba6025c Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Tue, 7 Jun 2022 18:46:43 -0300 Subject: [PATCH] Move slow regression (#8866) To address a buildbot failure. --- test/regress/cli/CMakeLists.txt | 2 +- .../proofs/sat-proof-reloaded-reason.smt2 | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename test/regress/cli/{regress2 => regress3}/proofs/sat-proof-reloaded-reason.smt2 (100%) diff --git a/test/regress/cli/CMakeLists.txt b/test/regress/cli/CMakeLists.txt index 4a11a6f2f..c131860e7 100644 --- a/test/regress/cli/CMakeLists.txt +++ b/test/regress/cli/CMakeLists.txt @@ -2966,7 +2966,6 @@ set(regress_2_tests regress2/ooo.rf6.smt2 regress2/ooo.tag10.smt2 regress2/piVC_5581bd.smt2 - regress2/proofs/sat-proof-reloaded-reason.smt2 regress2/push-pop/DRAGON_4_e2_2799_e3_1915.lus.ic3.1.min.smt2 regress2/quantifiers/AdditiveMethods_AdditiveMethods..ctor.smt2 regress2/quantifiers/cee-event-wrong-sat.smt2 @@ -3086,6 +3085,7 @@ set(regress_3_tests regress3/nl/iand-native-1.smt2 regress3/PEQ018_size4.smtv1.smt2 regress3/policyM.sy + regress3/proofs/sat-proof-reloaded-reason.smt2 regress3/quantifiers/ForElimination-scala-9.smt2 regress3/quantifiers/javafe.ast.ArrayInit.35.smt2 regress3/quantifiers/sygus-inst-ufbv-sdlx-fixpoint-5.smt2 diff --git a/test/regress/cli/regress2/proofs/sat-proof-reloaded-reason.smt2 b/test/regress/cli/regress3/proofs/sat-proof-reloaded-reason.smt2 similarity index 100% rename from test/regress/cli/regress2/proofs/sat-proof-reloaded-reason.smt2 rename to test/regress/cli/regress3/proofs/sat-proof-reloaded-reason.smt2 -- 2.30.2