Skip to content

Add BuiltinAssertKinds for Coroutine-related errors#1197

Merged
Nadrieril merged 1 commit into
AeneasVerif:mainfrom
Nadrieril:builtinassertkind
May 28, 2026
Merged

Add BuiltinAssertKinds for Coroutine-related errors#1197
Nadrieril merged 1 commit into
AeneasVerif:mainfrom
Nadrieril:builtinassertkind

Conversation

@Nadrieril

Copy link
Copy Markdown
Member

Rebase of #1162 since github doesn't let me force-push to PRs anymore

Signed-off-by: Sacha Ayoun <sachaayoun@gmail.com>
@Nadrieril
Nadrieril enabled auto-merge May 28, 2026 17:39
@Nadrieril
Nadrieril added this pull request to the merge queue May 28, 2026
Merged via the queue into AeneasVerif:main with commit 22b2f2b May 28, 2026
5 checks passed
@Nadrieril
Nadrieril deleted the builtinassertkind branch May 28, 2026 17:47
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.

2 participants