Struct FalsificationResult 

pub struct FalsificationResult {
    pub falsified: bool,
    pub falsifying_params: Option<HashMap<String, f64>>,
    pub violated_criterion: Option<String>,
    pub robustness: f64,
    pub tests_performed: usize,
    pub summary: String,
}

Result of a falsification search.

Fields

falsified: bool

Whether any falsifying condition was found

falsifying_params: Option<HashMap<String, f64>>

The parameter values that caused falsification (if any)

violated_criterion: Option<String>

Which criterion was violated (if any)

robustness: f64

Robustness degree (positive = satisfied, negative = violated)

tests_performed: usize

Number of parameter combinations tested

summary: String

Human-readable summary

Implementations

impl FalsificationResult

pub fn not_falsified(tests_performed: usize, robustness: f64) -> Self

Create a result indicating no falsification found.

pub fn falsified( params: HashMap<String, f64>, criterion: &str, robustness: f64, tests_performed: usize, ) -> Self

Create a result indicating falsification was found.

Trait Implementations

impl Clone for FalsificationResult

fn clone(&self) -> FalsificationResult

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FalsificationResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.