Struct DdminStats 

pub struct DdminStats { /* private fields */ }

Oracle accounting for one DDMin run.

Implementations

impl DdminStats

pub const fn oracle_calls(self) -> usize

Total oracle evaluations performed.

Examples found in repository

examples/budgeted.rs (line 24)

fn main() {
    let options = DdminOptions::new(NonZeroUsize::MIN, Some(1));
    let input = DdminInput::new(vec![1_u8, 2, 3, 4], options);
    let mut oracle = |remaining: &[u8]| {
        if remaining.contains(&2) {
            OracleOutcome::Interesting
        } else {
            OracleOutcome::NotInteresting
        }
    };

    let output = ddmin(input, &mut oracle);
    assert_eq!(
        output.guarantee(),
        DdminGuarantee::Incomplete(DdminStopReason::MaxOracleCallsReached),
        "DDMin should report an incomplete guarantee when the oracle-call budget is exhausted"
    );
    assert_eq!(output.stats().oracle_calls(), 1, "DDMin should stop at the configured budget");
}

pub const fn interesting_trials(self) -> usize

Oracle evaluations that returned Interesting.

pub const fn not_interesting_trials(self) -> usize

Oracle evaluations that returned NotInteresting.

pub const fn unresolved_trials(self) -> usize

Oracle evaluations that returned Unresolved.

Examples found in repository

examples/unresolved.rs (line 18)

fn main() {
    let input = DdminInput::new(vec!["core", "flaky", "noise"], DdminOptions::default());
    let mut oracle = |remaining: &[&str]| {
        if remaining.contains(&"flaky") && remaining.len() == 1 {
            OracleOutcome::Unresolved(UnresolvedReason::NonDeterministic)
        } else if remaining.contains(&"core") {
            OracleOutcome::Interesting
        } else {
            OracleOutcome::NotInteresting
        }
    };

    let output = ddmin(input, &mut oracle);
    assert_eq!(output.remaining(), &["core"], "DDMin should keep the stable interesting value");
    assert_eq!(
        output.stats().unresolved_trials(),
        1,
        "DDMin should count unresolved oracle outcomes"
    );
}

Trait Implementations

impl Clone for DdminStats

fn clone(&self) -> DdminStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DdminStats

impl Debug for DdminStats

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

Formats the value using the given formatter.

impl Default for DdminStats

fn default() -> DdminStats

Returns the “default value” for a type.

impl Eq for DdminStats

impl PartialEq for DdminStats

fn eq(&self, other: &DdminStats) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for DdminStats