Verify all Kani attributes in all crate items upfront#2536

Merged

celinval merged 4 commits intomodel-checking:mainfrom celinval:issue-xxxx-attributes

Jun 19, 2023

+181-93

Commits on Jun 15, 2023

Check Kani attributes validity for all crate items
celinval
committed

Commits on Jun 16, 2023

Commits on Jun 19, 2023

Merge branch 'main' into issue-xxxx-attributes
celinval
authored