Implement kani::Arbitrary for Wrapping, Saturating, and Simd types#328

Merged

tautschnig merged 4 commits into

model-checking:mainfrom

carolynzech:wrapping-saturating-derive

Apr 28, 2025

Commits on Apr 17, 2025

derive kani::Arbitrary for Wrapping and Saturating types
Carolyn Zech
committed

Commits on Apr 18, 2025

Implement Arbitrary manually

Carolyn Zech
and
tautschnig
authored
add use crate::kani to top of files
Carolyn Zech
committed
derive Arbitrary on Simd<T, N>
Carolyn Zech
committed