Skip to content
Kani CI

#[invariant(...)] -> #[safety_constraint(...)] #982

Sign in to view logs

#[invariant(...)] -> #[safety_constraint(...)]

#[invariant(...)] -> #[safety_constraint(...)] #982

This job succeeded