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")]

mod simulation;
mod transcript;
mod types;

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