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

Add BuiltinAssertKinds for Coroutine-related errors

bfb6897
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
charon
succeeded May 28, 2026 in 4m 6s