rvtest 0.3.2

A Next Level Testing Library for Rust — BDD specs, property-based testing, parametrized tests, rich reporting, and code coverage. Just a library, not a framework.
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

use std::panic::{catch_unwind, AssertUnwindSafe};

use rvtest::property::{any, check};

#[test]
fn property_passes_for_valid_properties() {
    check(
        "identity with zero",
        any::<i32>(),
        |a: &i32| a + 0 == *a,
    );
}

#[test]
fn property_detects_falsified_properties() {
    let result = catch_unwind(AssertUnwindSafe(|| {
        check(
            "intentionally false",
            any::<i32>(),
            |_: &i32| false,
        );
    }));
    assert!(result.is_err(), "check should panic on falsified property");
}