projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a4b16c) | patch
Move slow regressions to regress1 (#5999)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 25 Feb 2021 22:40:24 +0000 (16:40 -0600)
committerGitHub <noreply@github.com>
Thu, 25 Feb 2021 22:40:24 +0000 (16:40 -0600)
commitac30758787c01f532774501a06b5cbdc713074dd
treed10ed72b89f8fc72ec42e5aba1d1f3cce6a7ede7tree
parent6a4b16c643d71c9318042ba7b9d42af71c58ac2fcommit | diff
Move slow regressions to regress1 (#5999)

Moves regressions taking >4 seconds (summing all configs) in debug to regress1.
23 files changed:
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/arith/issue3480.smt2 [deleted file] blob | history
test/regress/regress0/aufbv/fuzz03.smtv1.smt2 [deleted file] blob | history
test/regress/regress0/bv/fuzz18.smtv1.smt2 [deleted file] blob | history
test/regress/regress0/bv/fuzz19.smtv1.smt2 [deleted file] blob | history
test/regress/regress0/decision/bug374a.smtv1.smt2 [deleted file] blob | history
test/regress/regress0/fp/rti_3_5_bug_report.smt2 [deleted file] blob | history
test/regress/regress0/nl/ext-rew-aggr-test.smt2 [deleted file] blob | history
test/regress/regress0/quantifiers/sygus-inst-nia-psyco-060.smt2 [deleted file] blob | history
test/regress/regress0/quantifiers/sygus-inst-ufnia-sat-t3_rw1505.smt2 [deleted file] blob | history
test/regress/regress0/sygus/array-grammar-store.sy [deleted file] blob | history
test/regress/regress0/uflia/error1.smtv1.smt2 [deleted file] blob | history
test/regress/regress1/arith/issue3480.smt2 [new file with mode: 0644] blob
test/regress/regress1/aufbv/fuzz03.smtv1.smt2 [new file with mode: 0644] blob
test/regress/regress1/bv/fuzz18.smtv1.smt2 [new file with mode: 0644] blob
test/regress/regress1/bv/fuzz19.smtv1.smt2 [new file with mode: 0644] blob
test/regress/regress1/decision/bug374a.smtv1.smt2 [new file with mode: 0644] blob
test/regress/regress1/fp/rti_3_5_bug_report.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/ext-rew-aggr-test.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/sygus-inst-nia-psyco-060.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/sygus-inst-ufnia-sat-t3_rw1505.smt2 [new file with mode: 0644] blob
test/regress/regress1/sygus/array-grammar-store.sy [new file with mode: 0644] blob
test/regress/regress1/uflia/error1.smtv1.smt2 [new file with mode: 0644] blob