Skip to content
Kani CI

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

Sign in to view logs

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

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

write-json-symtab-regression

write-json-symtab-regression
succeeded Jul 31, 2024 in 16m 5s