Skip to content

Fix async while rule#935

Open
lyonel2017 wants to merge 1 commit intomainfrom
asynchile
Open

Fix async while rule#935
lyonel2017 wants to merge 1 commit intomainfrom
asynchile

Conversation

@lyonel2017
Copy link
Contributor

Fix #774

@strub strub changed the title Fix asynchile rule Fix async while rule Mar 12, 2026
@lyonel2017 lyonel2017 marked this pull request as ready for review March 19, 2026 15:09
@lyonel2017 lyonel2017 requested a review from strub March 19, 2026 15:09
@oskgo
Copy link
Contributor

oskgo commented Mar 20, 2026

Now that you have a fresh understanding of how the tactic works, could you write up documentation? That would also make review simpler.

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.

Tactic async while is unsound

2 participants