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
#![doc = include_str!("README.md")]

mod compare;
mod conclude;
mod types;

pub use compare::compared;
pub use types::{
    CompiledDisagreement, CompiledObservation, CompiledVerdict, DeclaredBehavior, DeclaredReadBack,
    DeclaredReadBackRoster, DeclaredReadBackRosterRefusal, ObservedMember, ObservedValue,
};