reltester 2.0.0

Automatically verify the correctness of [Partial]Eq/Ord implementations
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

fn main() {}

#[cfg(test)]
mod tests {
    use proptest::prelude::*;
    use std::net::IpAddr;

    proptest! {
        #[test]
        fn correctness_u32(a: u32, b: u32, c: u32) {
            reltester::eq(&a, &b, &c).unwrap();
            reltester::ord(&a, &b, &c).unwrap();
        }

        #[test]
        fn correctness_f32(a: f32, b: f32, c: f32) {
            reltester::partial_eq(&a, &b, &c).unwrap();
            reltester::partial_ord(&a, &b, &c).unwrap();
        }

        #[test]
        fn correctness_ip_address(a: IpAddr, b: IpAddr, c: IpAddr) {
            reltester::eq(&a, &b, &c).unwrap();
            reltester::ord(&a, &b, &c).unwrap();
        }

        #[test]
        fn vec_u32_is_truly_double_ended(x: Vec<u32>) {
            reltester::double_ended_iterator(x.iter()).unwrap();
        }
    }
}