monkey_test 0.9.2

A property based testing (PBT) tool like QuickCheck, ScalaCheck and similar libraries, for the Rust programming language.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use crate::BoxShrink;

/// Boolean shrinker seeing `false` as a smaller value than `true`,
/// hence shrinking towards `false`.
pub fn bool() -> BoxShrink<bool> {
    bool_to(false)
}

/// Boolean shrinker seeing `true` as a smaller value than `false`,
/// hence shrinking towards `true`.
pub fn bool_to_true() -> BoxShrink<bool> {
    bool_to(true)
}

fn bool_to(shrink_to_true: bool) -> BoxShrink<bool> {
    crate::shrinks::from_fn_boxed(move |original: bool| {
        if original ^ shrink_to_true {
            Box::new(std::iter::once(!original))
        } else {
            Box::new(std::iter::empty::<bool>())
        }
    })
}