Skip to content
Kani CI

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

Sign in to view logs

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

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

write-json-symtab-regression

write-json-symtab-regression
succeeded Jul 9, 2024 in 13m 18s