scirs2-core 0.4.3

Core utilities and common functionality for SciRS2 (scirs2-core)
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

//! Property-based testing utilities

#[cfg(feature = "testing")]
use quickcheck::{Arbitrary, Gen, QuickCheck};

/// Property test configuration
pub struct PropertyTestConfig {
    pub tests: u64,
    pub max_size: usize,
}

impl Default for PropertyTestConfig {
    fn default() -> Self {
        Self {
            tests: 100,
            max_size: 100,
        }
    }
}

/// Run property-based tests
pub fn run_property_test<F, A>(property: F, config: PropertyTestConfig)
where
    F: Fn(A) -> bool + quickcheck::Testable,
    A: Arbitrary + std::fmt::Debug,
{
    QuickCheck::new()
        .tests(config.tests)
        .max_tests(config.tests)
        .quickcheck(property);
}