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
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

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

mod explore;
mod types;

cfg_select! {
    any(
        all(
            unix,
            any(
                target_arch = "aarch64",
                target_arch = "arm",
                target_arch = "x86_64",
                target_arch = "loongarch64",
                target_arch = "riscv64",
                all(target_arch = "powerpc64", target_endian = "little"),
            ),
        ),
        all(windows, any(target_arch = "x86_64", target_arch = "aarch64")),
    ) => {
        #[path = "explore_loom.rs"]
        mod backend;
    }
    _ => {
        #[path = "explore_unavailable.rs"]
        mod backend;
    }
}

pub use explore::{attempted, explored};
pub use types::{
    IncompleteExploration, LOOM_PIN, MODEL_BROKE, PreemptionBound, PreemptionBounds,
    PreemptionBoundsRefusal, PreemptionModelFailure, PreemptionModelResult, PreemptionOutcome,
    PreemptionReading, PreemptionVerdict,
};