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 explore;
mod material;
mod space;
mod types;

pub use explore::{concluded, explored};
pub use material::{encoded, interpreted};
pub use types::{
    ADDRESSABLE_STRANDS, Counterexample, EXPLORATION_STARVED, EncodingRefusal, ExplorationBound,
    ExplorationBoundRefusal, ExplorationMode, ExplorationReading, ExplorationRefusal,
    ExplorationSite, ExplorationStanding, InterleavedSequence, Interleaving, InterleavingSpace,
    Strand, StrandRefusal, StrandSet, StrandSetRefusal,
};