macroonz-harness 0.2.0

Safe-Rust property, fuzz, fault, schedule, mutation, network, and benchmark testing with typed evidence, reduction, and replay.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! The preemption explore road on a target the pinned backend does not implement.

use super::types::{
    IncompleteExploration, PreemptionBounds, PreemptionModelResult, PreemptionOutcome,
    PreemptionReading,
};

/// Retain the request as typed backend unavailability without invoking the supplied model.
#[must_use]
pub(super) const fn explored(
    bounds: PreemptionBounds,
    _model: fn() -> PreemptionModelResult,
) -> PreemptionReading {
    PreemptionReading::read(
        bounds,
        PreemptionOutcome::Incomplete(IncompleteExploration::Unavailable),
    )
}