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

use std::collections::BTreeSet;

use quickcheck_macros::quickcheck;

#[quickcheck]
fn iterator_chars(x: String) -> bool {
    reltester::iterator(x.char_indices()).is_ok()
}

#[quickcheck]
fn iterator_vec_of_strings(x: Vec<String>) -> bool {
    reltester::double_ended_iterator(x.iter()).is_ok()
        && reltester::fused_iterator(x.iter()).is_ok()
}

#[quickcheck]
fn iterator_btreeset_of_u32(x: BTreeSet<u32>) -> bool {
    reltester::double_ended_iterator(x.iter()).is_ok()
        && reltester::fused_iterator(x.iter()).is_ok()
}