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

#![doc = include_str!("README.md")]

mod reduce;
pub(super) mod types;

pub use reduce::{capture_replay, reduce, shrink_verdict};
pub use types::{
    ByteReducerExecution, ByteReducerId, FingerprintPreservation, FingerprintProbe, ProbeOutcome,
    ReductionBudget, ReductionCensus, ReductionEvidence, ReductionHalt, ReductionOutcome,
    ReductionPlan, ReductionPlanRefusal, ReductionProbeBinding, ReductionProbeRefusal,
    ReductionRefusal, SemanticCandidateRefusal, SemanticCandidates, SemanticReducerBinding,
    SemanticReducerCall, SemanticReducerExecution, SemanticReducerId, ShrinkVerdict,
};