Repository navigation

Add self-declared test tags - #238

Open

zayenz wants to merge 17 commits into

mainfrom

feature/test-tags

Commits on Oct 9, 2026
- Add test runner tags
  zayenz
  committed
  cfd9deb
- Use test tags for check targets
  zayenz
  committed
  c474027
- Use scoped enum for test tags
  zayenz
  committed
  e71b0a8
- Document tag-based test targets
  zayenz
  committed
  cd51164
- Preserve check coverage with test tags
  zayenz
  committed
  2a0c350
- Keep exhaustive test families out of normal runs
  zayenz
  committed
  a2f5fb6
- Integrate test tags with public harness
  zayenz
  committed
  1463cce
- Declare test tags with test definitions
  zayenz
  committed
  3e5c09d
- Polish public test tag integration
  zayenz
  committed
  a489291
- Make non-default test tags explicit
  zayenz
  committed
  fe08574
- Export public test tags from shared harness
  zayenz
  committed
  3833400
- Clarify tag selection and remove obsolete test helpers
  zayenz
  committed
  5dac10e
- Exercise substantive arithmetic paths in the normal test suite
  zayenz
  committed
  9264381
- Preserve stacked tag contracts and worker-control check coverage
  zayenz
  committed
  dbba4c3
- Keep NFA regression tests in the tagged check selection
  zayenz
  committed
  ca797c1
- Remove redundant tag-selection state and unused tag removal API
  zayenz
  committed
  3659fc1
- Name the standard suite and add common test tag presets
  zayenz
  committed
  c6504e6