Add BuiltinAssertKinds for Coroutine-related errors#1197

Nadrieril merged 1 commit into

AeneasVerif:mainAeneasVerif/charon:mainfrom

Nadrieril:builtinassertkindNadrieril/charon:builtinassertkindCopy head branch name to clipboard