Enum CoverageHypothesis 

pub enum CoverageHypothesis {
    Determinism,
    Completeness {
        threshold: f64,
    },
    NoRegression {
        baseline: f64,
    },
    MutationCorrelation {
        expected_r: f64,
    },
}

Coverage hypothesis types

Variants

Determinism

H₀-COV-01: Coverage is deterministic across runs

Completeness

H₀-COV-02: All reachable blocks are covered (threshold %)

Fields

threshold: f64

Expected coverage percentage

NoRegression

H₀-COV-03: No coverage regression from baseline

Fields

baseline: f64

Baseline coverage percentage

MutationCorrelation

H₀-COV-04: Coverage correlates with mutation score

Fields

expected_r: f64

Expected correlation coefficient

Implementations

impl CoverageHypothesis

pub fn determinism() -> Self

Create a determinism hypothesis

pub fn completeness(threshold: f64) -> Self

Create a completeness hypothesis

pub fn no_regression(baseline: f64) -> Self

Create a no-regression hypothesis

pub fn mutation_correlation(expected_r: f64) -> Self

Create a mutation correlation hypothesis

pub fn name(&self) -> &'static str

Get the hypothesis name

pub fn evaluate(&self, observations: &[f64]) -> NullificationResult

Evaluate the hypothesis against observed data

Returns a nullification result indicating whether the hypothesis should be rejected.

Trait Implementations

impl Clone for CoverageHypothesis

fn clone(&self) -> CoverageHypothesis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoverageHypothesis

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

Formats the value using the given formatter.