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
16

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

pub mod interpret;
mod types;

pub use types::{
    EvaluationBinding, EvaluationCall, EvaluationObservation, EvaluationPair,
    EvaluationPairRefusal, EvaluationPairStanding, EvaluationPairStandingMismatch,
    InterpretedExecutionRefusal, InterpretedMutationEvidence, InterpretedTrust,
    InterpreterAvailability, MUTERPRATER_NAMESPACE, MeaningCheck, MissingTrustEvidence,
    MutationWitness, MutationWitnessRefusal, NO_MUTATION_PAIRING, NoMutationObservationRefusal,
    NoMutationParityQualification, NoMutationParityReading, NoMutationParityStanding,
    NoMutationResults, PARITY_DECLARATION_SUBSTRATE, PARITY_RENDERING_SUBSTRATE,
    ParityQualificationRefusal, ParityRefusal, ProductionBinding, ProductionCall,
    RejectedNoMutationParity,
};