summaryrefslogtreecommitdiff
path: root/test/regress/regress3/decision-wchains010ue.smtv1.smt2
AgeCommit message (Collapse)Author
2020-12-10Refactor regressions (#5639)Andrew Reynolds
This adds a net +82 regressions to regress[0-2] and adds several additional disabled regressions to regress3 and regress4. This involved fixing the status on several regressions, and ensuring CMakeLists.txt includes all files (exactly once) in the test/regress/ subdirectory. It also moves several regressions to the proper regression levels (those that take >30 seconds in debug are moved to regress3+).
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback