asupersync 0.3.1

Spec-first, cancel-correct, capability-secure async runtime for Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! Meta-testing infrastructure for verifying the test oracles themselves.
//!
//! Meta-tests run a baseline scenario and a mutation scenario, then confirm that
//! the appropriate oracle trips. This helps validate that the oracle suite
//! actually detects the kinds of violations we rely on in CI.

pub mod mutation;
pub mod runner;

pub use mutation::{
    ALL_ORACLE_INVARIANTS, BuiltinMutation, builtin_mutations, invariant_from_violation,
};
pub use runner::{MetaCoverageEntry, MetaCoverageReport, MetaReport, MetaResult, MetaRunner};