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
17

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

pub mod propose;
mod type_contract;
mod types;

pub use types::{
    CandidateSketch, CheckGap, ClaimPinnedGround, ClaimPinnedProposal, Demonstration,
    DischargeAdmissionReceipt, DischargeEvidence, DischargeProposalRefusal, DuplicateRefusal,
    ExplanationRefusal, FailureComparison, HumanAdmissionRefusal, InferredObligation,
    KillProposalRefusal, MutantKilledGround, MutantKilledProposal, NoComparison,
    NoComparisonReason, ObligationComparison, ObligationDischargedGround,
    ObligationDischargedProposal, ObligationLane, OracleClass, OwedClaim, OwedClaimRefusal,
    OwedDeclaration, PROPOSAL_TAG, ProofDelta, ProofDeltaRefusal, ProofRefusal, ProofShape,
    ProposalDestination, ProposalDocument, ProposalRefusal, ProposalSink, ReplayAdmissionReceipt,
    ReplayBearingProposal, SinkRefusal, StoredProposalRef, SurvivorExplanation, SynthesisRefusal,
};