macroonz-harness 0.1.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
19
20
21
22
23
24
25

#![doc = include_str!("README.md")]
//!
//! [`driver`] preserves the shared sequence-driver road, and [`reduce`][mod@reduce] preserves the reduction-operation road.

mod generation;
mod reduction;

pub mod driver;
pub mod reduce;
pub mod types;

pub use driver::{admit_every_sequence, decode_arbitrary, drive};
pub use reduce::{capture_replay, reduce, shrink_verdict};
pub use types::{
    ByteDraw, ByteReducerExecution, ByteReducerId, ByteSource, ByteSourceAddress, CaseIndex,
    CaseWidth, CaseWidthRefusal, CommandDecode, CommandSequence, FingerprintPreservation,
    FingerprintProbe, GENERATION_CHUNK_TAG, GENERATION_DISPOSITION_SEATS, GENERATION_SOURCE_TAG,
    GeneratedSequences, GenerationCensus, GenerationDisposition, GenerationHalt, GenerationPlan,
    GenerationPlanRefusal, InputOrigin, PreconditionVerdict, ProbeOutcome, ReductionBudget,
    ReductionCensus, ReductionEvidence, ReductionHalt, ReductionOutcome, ReductionPlan,
    ReductionPlanRefusal, ReductionProbeBinding, ReductionProbeRefusal, ReductionRefusal,
    RejectionAllowance, RootSeed, SOURCE_CHUNK_BYTES, SemanticCandidateRefusal, SemanticCandidates,
    SemanticReducerBinding, SemanticReducerCall, SemanticReducerExecution, SemanticReducerId,
    SequencePrecondition, ShrinkVerdict, SizeProgression, StreamCursor, StreamCursorRefusal,
};