Add self-declared test tags - #238

Open

zayenz wants to merge 15 commits into

feature/test-libraryfrom

feature/test-tags

Commits on Sep 28, 2026

Add test runner tags

zayenz
authored and
Mikael Zayenz Lagerkvist
committed
88a2bfb
Use test tags for check targets

zayenz
authored and
Mikael Zayenz Lagerkvist
committed
3303a99
Use scoped enum for test tags

zayenz
authored and
Mikael Zayenz Lagerkvist
committed
e731d80
Document tag-based test targets

zayenz
authored and
Mikael Zayenz Lagerkvist
committed
35d8085
Preserve check coverage with test tags
Mikael Zayenz Lagerkvist
committed
1cfe669
Keep exhaustive test families out of normal runs
Mikael Zayenz Lagerkvist
committed
6787c89
Integrate test tags with public harness
Mikael Zayenz Lagerkvist
committed
bae6830
Declare test tags with test definitions
Mikael Zayenz Lagerkvist
committed
17cd812
Polish public test tag integration
Mikael Zayenz Lagerkvist
committed
ae4ff44
Make non-default test tags explicit
Mikael Zayenz Lagerkvist
committed
be700d2
Export public test tags from shared harness
Mikael Zayenz Lagerkvist
committed
05d951f

Commits on Oct 4, 2026

Clarify tag selection and remove obsolete test helpers
Mikael Zayenz Lagerkvist
committed
418d178
Merge commit '9c218181bf' into HEAD
Mikael Zayenz Lagerkvist
committed
7586066

Commits on Oct 5, 2026

Merge commit '6e0031f25a' into HEAD
Mikael Zayenz Lagerkvist
committed
e9a049f
Exercise substantive arithmetic paths in the normal test suite
Mikael Zayenz Lagerkvist
committed
95faebe