refactor(tests): distinguish -fail from -unsupported, auto-detect show specs#1015

Open

Stevengre wants to merge 8 commits into

codex/20260403-assert-inhabited

Commits on Apr 13, 2026

refactor(tests): distinguish -fail (program error) from -unsupported (missing semantics)

Stevengre
and
claude
committed
refactor(tests): auto-detect show specs from -fail/-unsupported suffix

Stevengre
and
claude
committed
refactor(tests): rename symbolic-args-fail to symbolic-args-unsupported

Stevengre
and
claude
committed
refactor(tests): use stable -fail fixture for CLI tests

Stevengre
and
claude
committed
style: fix black formatting in test_integration.py

Stevengre
and
claude
committed
fix(tests): keep snapshots for -fail and -unsupported
Stevengre
committed
ci: extend verify-rust-std timeout
Stevengre
committed

Commits on Apr 21, 2026

Merge branch 'master' into codex/20260403-assert-inhabited
dkcumming
authored