Skip to content

Add check to prevent swapping of exception raises#927

Merged
strub merged 1 commit intomainfrom
fix-exceptions-swap
Mar 9, 2026
Merged

Add check to prevent swapping of exception raises#927
strub merged 1 commit intomainfrom
fix-exceptions-swap

Conversation

@lyonel2017
Copy link
Contributor

Fix #926

@lyonel2017 lyonel2017 force-pushed the fix-exceptions-swap branch from e776327 to 96368d4 Compare March 9, 2026 19:49
@lyonel2017 lyonel2017 marked this pull request as ready for review March 9, 2026 19:49
@lyonel2017 lyonel2017 requested a review from strub March 9, 2026 19:49
@strub strub force-pushed the fix-exceptions-swap branch 2 times, most recently from 55b62f0 to 81e7731 Compare March 9, 2026 20:04
@strub strub enabled auto-merge (rebase) March 9, 2026 20:09
@strub strub added the bug label Mar 9, 2026
@strub strub self-assigned this Mar 9, 2026
@strub strub force-pushed the fix-exceptions-swap branch from 81e7731 to 299e831 Compare March 9, 2026 20:09
@strub strub disabled auto-merge March 9, 2026 20:17
@strub strub enabled auto-merge (rebase) March 9, 2026 20:24
@strub strub merged commit 6dbd99d into main Mar 9, 2026
16 checks passed
@strub strub deleted the fix-exceptions-swap branch March 9, 2026 20:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Tactic swap is unsound in the presence of raise

2 participants