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

//! The stable public vocabulary road for simulation and transcript custody.

pub use super::simulation::{
    Delivery, DeliveryCopy, Link, LinkDiscipline, LinkFault, NetworkCampaign,
    NetworkCampaignRefusal, NetworkCensus, NetworkSchedule, NetworkScheduleRefusal,
    NetworkSelection, NetworkSelectionRefusal, NodeRef, SendFate, SendOrdinal, SendReceipt,
    SendRefusal, SimNet, SimNetRefusal, Tick, TickSpan, TickSpanRefusal, Topology, TopologyRefusal,
};
pub use super::transcript::{
    Replay, ReplayExhaustion, ReplayIncomplete, ReproducedReplay, ReproducedReplayRefusal,
    SimulationAction, SimulationManifest, SimulationReproduction, TRANSCRIPT_FORMAT_VERSION,
    TRANSCRIPT_TAG, TranscriptAddress, TranscriptEntry, TranscriptPack, TranscriptRefusal,
    TranscriptSourceClaim,
};