Update kani::mem pointer validity documentation#4092
Merged
carolynzech merged 1 commit intomodel-checking:mainfrom May 28, 2025
Merged
Update kani::mem pointer validity documentation#4092carolynzech merged 1 commit intomodel-checking:mainfrom
kani::mem pointer validity documentation#4092carolynzech merged 1 commit intomodel-checking:mainfrom
Commits
Commits on May 20, 2025
- committed
Carolyn Zech