The Arbitrary trait is not implemented for the set of range-like structures.
- Range
- RangeFrom
- RangeFull
- RangeInclusive
- RangeTo
- RangeToInclusive
The lack of such a feature mandates the manual rolling of intended parameters.
#[kani::proof]
fn foo() {
let start = kani::any();
let end = kani::any();
let _ = std::ops::RangeInclusive::<u8>::new(start, end));
The
Arbitrarytrait is not implemented for the set of range-like structures.The lack of such a feature mandates the manual rolling of intended parameters.