prop-test 0.1.1

Formattable proptest macro
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

#![forbid(unsafe_code)]
#![doc = include_str!("../README.md")]

pub use proptest;

pub mod prelude {
    pub use crate::prop_test;
    pub use proptest::prelude::*;
}

#[macro_export]
macro_rules! prop_test {
    ($strategy:expr, $test:expr, $config:expr) => {
        let mut config = $config;
        config.source_file = Some(file!());
        let mut runner = $crate::proptest::test_runner::TestRunner::new(config);
        match runner.run($strategy, $test) {
            Ok(()) => (),
            Err(e) => panic!("{e}\n{runner}"),
        }
    };
    ($strategy:expr, $test:expr) => {
        $crate::prop_test!(
            $strategy,
            $test,
            $crate::proptest::test_runner::Config::default()
        )
    };
}