test_fuzz_runtime/
traits.rs

1use core::ops::{Add, Div, Sub};
2use num_traits::{Bounded, One};
3
4pub trait MinValueAddOne {
5    fn min_value_add_one() -> Self;
6}
7
8impl<T> MinValueAddOne for T
9where
10    T: Add<Output = Self> + Bounded + One,
11{
12    fn min_value_add_one() -> Self {
13        Self::min_value() + Self::one()
14    }
15}
16
17pub trait MaxValueSubOne {
18    fn max_value_sub_one() -> Self;
19}
20
21impl<T> MaxValueSubOne for T
22where
23    T: Sub<Output = Self> + Bounded + One,
24{
25    fn max_value_sub_one() -> Self {
26        Self::max_value() - Self::one()
27    }
28}
29
30pub trait Two {
31    fn two() -> Self;
32}
33
34impl<T> Two for T
35where
36    T: Add<Output = Self> + One,
37{
38    fn two() -> Self {
39        Self::one() + Self::one()
40    }
41}
42
43pub trait Middle {
44    fn low() -> Self;
45    fn high() -> Self;
46}
47
48impl<T> Middle for T
49where
50    T: Add<Output = Self> + Div<Output = Self> + Bounded + One + Two,
51{
52    fn low() -> Self {
53        Self::min_value() / Self::two() + Self::max_value() / Self::two()
54    }
55    fn high() -> Self {
56        Self::low() + Self::one()
57    }
58}
test_fuzz_runtime/traits.rs

test_fuzz_runtime/
traits.rs
