test-strategy 0.4.5

Procedural macro to easily write higher-order strategies in proptest.
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

use test_strategy::proptest;

#[proptest]
fn my_test(_input: i32) {
    // ...
}

#[proptest]
fn my_test2(#[strategy(10..20)] _input: i32) {
    // ...
}

use proptest::prelude::ProptestConfig;
#[proptest(ProptestConfig { cases : 1000, ..ProptestConfig::default() })]
fn my_test_with_config(_input: i32) {
    // ...
}

#[proptest(ProptestConfig::default(), cases = 1000)]
fn my_test_with_config_2(_input: i32) {
    // ...
}
#[proptest(cases = 1000)]
fn my_test_with_config_3(_input: i32) {
    // ...
}

// #[proptest]
// #[proptest_dump]
// fn my_test(_input: i32) {
//     // ...
// }