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

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

mod type_contract;
mod types;

pub use types::{
    ActivationAxis, ActivationDisposition, ActivationEvidence, BaselineAxis, BaselinePrecondition,
    BaselineQualification, CoordinateRefusal, DemonstratedRejection, DudPlant, EquivalenceAxis,
    ExecutionAxis, FamilyAttribution, InconclusiveCause, IntendedRejection, KillRefusal,
    MUTATION_TARGET_TAG, MappingPosture, MaterializationAxis, MutantId, MutationCensus,
    MutationIdentity, MutationOutcome, MutationReport, MutationRun, MutationSite, MutationTarget,
    MutationVerdict, OperatorFamilyRef, RejectionIdentity, SourceCoordinate,
};