You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Framework: an exact selector for a fixed-seed unit (Rerun lines are coarse -t filters today) #78
Follow-up from #58 (Windows CI). A failing fixed-seed unit prints a Rerun command that is a coarse -t filter: a sibling test whose name matches the same anchored pattern also runs. Example: a unit named fixture Q"1 replay and a sibling fixture Q21 replay share a filter that a regular-expression wildcard in the name can match.
The framework has no selector for a fixed-seed unit. ORACLE_UNIT is read only for a random unit during a path replay (oracle-property.tsassertReplayUnit, oracle-environment.ts), so a fixed unit cannot be selected exactly by an environment variable.
Proposed: a framework selector for a fixed-seed unit (for example ORACLE_FIXED_UNIT, read the same way as ORACLE_UNIT), with a Rerun line that uses it, and an oracle RED/GREEN for it (framework changes are oracle-first, P9). Acceptance: a Rerun line for Q"1 runs that unit only, and not Q21.
Activity
fix(windows): a Rerun line counts only for its own failing fixed unit…
fix(windows): the witness reads a fixed unit's FAIL line (`fixed seed…
fix(windows): the Rerun name check ignores vitest's colors
fix(windows): Windows CI for the oracle framework and gap CLI, and th…