sample-test 0.2.1

Sampling strategies and machinery for testing arbitrary data
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
33
34
35
36
37
38
39
40
41
42
43
44

use sample_std::Random;
use sample_test::{
    env_logger_init,
    tester::{sample_test, TestResult, Testable},
};

#[test]
fn test_testable() {
    fn test(a: usize, b: usize) -> bool {
        let sum = a + b;
        sum >= a && sum >= b
    }

    let mut r = Random::new();
    let mut s = (0..10, 0..10);
    assert!(Testable::test_once(&(test as fn(usize, usize) -> bool), &mut s, &mut r).is_success());

    sample_test(s, test as fn(usize, usize) -> bool);
}

#[test]
fn test_shrink() {
    let _ = crate::env_logger_init();

    fn test(a: usize, b: usize) -> bool {
        a <= 5 && b <= 5
    }

    let s = (0..10, 0..10);
    assert_eq!(
        Testable::shrink(
            &(test as fn(usize, usize) -> bool),
            &s,
            TestResult::passed(),
            (9, 9)
        )
        .arguments(),
        // ranges attempt to shrink to their start first
        // (0, 9) fails
        // (0, 0) passes
        // we then reverse-recurse down to the "smallest" failing value, (0, 6)
        "(0, 6)"
    );
}