protest 1.1.0

An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
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
45

//! Tests for the test_builder macro

use protest::test_builder;

// Simple test using the builder macro
test_builder! {
    test_name: test_simple_addition,
    generator: protest::range(1, 100),
    property: |x: i32| {
        x > 0 && x <= 100
    }
}

// Test with custom configuration
test_builder! {
    test_name: test_with_config,
    iterations: 50,
    seed: 42,
    generator: protest::range(1, 10),
    property: |x: i32| {
        (1..=10).contains(&x)
    }
}

// Test with all configuration options
test_builder! {
    test_name: test_full_config,
    iterations: 20,
    seed: 123,
    max_shrink_iterations: 100,
    shrink_timeout_secs: 5,
    generator: protest::just(42),
    property: |x: i32| {
        x == 42
    }
}

#[cfg(test)]
mod builder_macro_tests {
    #[test]
    fn test_builder_macro_compiles() {
        // This test verifies that the builder macro generates valid code
        // The actual property tests are generated by the macro above
    }
}