From 2f73122d32e3272b1a9727857b6ac02d2da871d3 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Tue, 22 Dec 2020 14:07:19 -0600 Subject: [PATCH] Move slow regression to regress3 (#5715) --- test/regress/CMakeLists.txt | 2 +- .../{regress1/quantifiers => regress3}/issue4476-ext-rew.smt2 | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename test/regress/{regress1/quantifiers => regress3}/issue4476-ext-rew.smt2 (100%) diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 2c480da3a..2a3cfd9ea 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1719,7 +1719,6 @@ set(regress_1_tests regress1/quantifiers/issue4243-prereg-inc.smt2 regress1/quantifiers/issue4290-cegqi-r.smt2 regress1/quantifiers/issue4433-nqe.smt2 - regress1/quantifiers/issue4476-ext-rew.smt2 regress1/quantifiers/issue4620-erq-witness-unsound.smt2 regress1/quantifiers/issue4685-wrewrite.smt2 regress1/quantifiers/issue4849-nqe.smt2 @@ -2384,6 +2383,7 @@ set(regress_3_tests regress3/interpol2.smt2 regress3/inv_gen_n_c11.sy regress3/issue4170.smt2 + regress3/issue4476-ext-rew.smt2 regress3/issue4714.smt2 regress3/lpsat-goal-9.smt2 regress3/nia-max-square.sy diff --git a/test/regress/regress1/quantifiers/issue4476-ext-rew.smt2 b/test/regress/regress3/issue4476-ext-rew.smt2 similarity index 100% rename from test/regress/regress1/quantifiers/issue4476-ext-rew.smt2 rename to test/regress/regress3/issue4476-ext-rew.smt2 -- 2.30.2