Skip to content

Fix using assert_eq#136

Open
ThomasMayerl wants to merge 1 commit intoAurel300:rewrite-2023from
ThomasMayerl:fix_assert_eq
Open

Fix using assert_eq#136
ThomasMayerl wants to merge 1 commit intoAurel300:rewrite-2023from
ThomasMayerl:fix_assert_eq

Conversation

@ThomasMayerl
Copy link

@ThomasMayerl ThomasMayerl commented Feb 13, 2026

This PR fixes #134 by requiring false as a precondition for assert_failed (similar to panic)

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.

assert_eq! does not introduce a proof obligation

1 participant