Skip to content

Add BuiltinAssertKinds for Coroutine-related errors#1162

Closed
giltho wants to merge 4 commits into
AeneasVerif:mainfrom
soteria-tools:concurrency
Closed

Add BuiltinAssertKinds for Coroutine-related errors#1162
giltho wants to merge 4 commits into
AeneasVerif:mainfrom
soteria-tools:concurrency

Conversation

@giltho

@giltho giltho commented May 15, 2026

Copy link
Copy Markdown
Contributor

Had this around for a while on our fork and I don't need much more for now, so we can merge it if you'd like.

Note that I've dropped the "CoroutineKind" argument from these errors for now, unless you really want them but it felt like more clutter so little

giltho added 2 commits May 15, 2026 23:20
Signed-off-by: Sacha Ayoun <sachaayoun@gmail.com>
Signed-off-by: Sacha Ayoun <sachaayoun@gmail.com>
giltho added 2 commits May 16, 2026 00:02
Signed-off-by: Sacha Ayoun <sachaayoun@gmail.com>
Signed-off-by: Sacha Ayoun <sachaayoun@gmail.com>
@N1ark

N1ark commented May 16, 2026

Copy link
Copy Markdown
Collaborator

aren't you missing actually translating them in translate_body ?

@giltho

giltho commented May 16, 2026

Copy link
Copy Markdown
Contributor Author

Only did it in Obol so far 🙃

@Nadrieril

Copy link
Copy Markdown
Member

Looks good! Just wanna get #1033 through first

@Nadrieril

Copy link
Copy Markdown
Member

superceded by #1197 because there were conflicts

@Nadrieril Nadrieril closed this May 28, 2026
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.

3 participants