Skip to content

Make strict assertion failures and single operand evaluation canonical - #49

Merged
sunxfancy merged 1 commit into
masterfrom
codex/evengine-assertion-contract
Oct 27, 2026
Merged

sunxfancy merged 1 commit into
masterfrom
codex/evengine-assertion-contract

Conversation

@sunxfancy

Copy link
Copy Markdown
Owner

CHECK comparisons evaluated operands twice, and assertions thrown by context-free helpers could be caught without failing the enclosing test or subcase. Evaluate comparison operands once and count uncaught helper assertions. Add the opt-in ZEROERR_CHECK_AS_ERROR policy while preserving warning-only CHECK behavior by default.

Validated with the full Debug CTest suite (10/10), standalone strict/legacy exit-code probes, and Release + LTO probes. EVEngine PR #646 consumes this canonical implementation instead of shadow headers or generated replacement sources.

@sunxfancy
sunxfancy marked this pull request as ready for review October 27, 2026 14:41
@sunxfancy
sunxfancy merged commit 58dc798 into master Oct 27, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant