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 compare;
mod conclude;
mod parse;
mod types;

pub use compare::{compared, read};
pub use parse::declarations_in;
pub use types::{
    ArtifactStructure, ConstantReading, DeclaredArtifact, DeclaredImplementation, DeclaredMember,
    DeclaredMemberRoster, DeclaredMemberRosterRefusal, ImplPosture, ImplementationMember,
    ImplementationStructure, StructuralDisagreement, StructuralPath, StructuralPathRefusal,
    StructuralPathRoot, StructuralPathSegment, StructuralVerdict,
};