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

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

mod draw;
mod drive;
mod encode;
pub(super) mod types;

pub use drive::{admit_every_sequence, decode_arbitrary, drive};
pub use types::{
    ByteDraw, ByteSource, ByteSourceAddress, CaseIndex, CaseWidth, CaseWidthRefusal, CommandDecode,
    CommandSequence, GENERATION_CHUNK_TAG, GENERATION_DISPOSITION_SEATS, GENERATION_SOURCE_TAG,
    GeneratedSequences, GenerationCensus, GenerationDisposition, GenerationHalt, GenerationPlan,
    GenerationPlanRefusal, InputOrigin, PreconditionVerdict, RejectionAllowance, RootSeed,
    SOURCE_CHUNK_BYTES, SequencePrecondition, SizeProgression, StreamCursor, StreamCursorRefusal,
};