Skip to content
Kani CI

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

Sign in to view logs

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

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

Annotations

2 errors

This job was cancelled