Skip to content
Kani CI

Define a struct-level #[safety_constraint(...)] attribute #7259

Sign in to view logs

Define a struct-level #[safety_constraint(...)] attribute

Define a struct-level #[safety_constraint(...)] attribute #7259

regression (ubuntu-20.04)

regression (ubuntu-20.04)
cancelled Jul 9, 2024 in 12m 9s