Crate asupersync_conformance 

Asupersync Conformance Test Suite

This crate provides a conformance test suite for async runtime implementations. Tests are designed to verify that runtimes correctly implement the expected semantics for spawning, channels, I/O, synchronization, and cancellation.

Architecture

The test suite is runtime-agnostic. Each runtime must implement the RuntimeInterface trait to provide the necessary primitives. Tests are written against this interface, allowing the same tests to validate different runtime implementations.

Test Categories

• Spawn: Task spawning and join handles
• Channels: MPSC, oneshot, broadcast, and watch channels
• IO: File operations, TCP, and UDP networking
• Sync: Mutex, RwLock, Semaphore, Barrier, OnceCell
• Time: Sleep, timeout, interval
• Cancel: Cancellation token and cooperative cancellation

Re-exports

pub use bench::BenchAllocSnapshot;

pub use bench::BenchAllocStats;

pub use bench::BenchCategory;

pub use bench::BenchComparisonResult;

pub use bench::BenchComparisonSummary;

pub use bench::BenchConfig;

pub use bench::BenchOutput;

pub use bench::BenchRunResult;

pub use bench::BenchRunSummary;

pub use bench::BenchRunner;

pub use bench::BenchThresholds;

pub use bench::Benchmark;

pub use bench::Comparison;

pub use bench::ComparisonConfidence;

pub use bench::RegressionCheck;

pub use bench::RegressionConfig;

pub use bench::RegressionMetric;

pub use bench::Stats;

pub use bench::StatsError;

pub use bench::default_benchmarks;

pub use bench::run_benchmark_comparison;

pub use lean_coverage_matrix::BlockerCode;

pub use lean_coverage_matrix::CoverageBlocker;

pub use lean_coverage_matrix::CoverageEvidence;

pub use lean_coverage_matrix::CoverageRow;

pub use lean_coverage_matrix::CoverageRowType;

pub use lean_coverage_matrix::CoverageStatus;

pub use lean_coverage_matrix::LEAN_COVERAGE_SCHEMA_VERSION;

pub use lean_coverage_matrix::LeanCoverageMatrix;

pub use lean_frontier::LEAN_FRONTIER_SCHEMA_VERSION;

pub use lean_frontier::LeanDiagnosticSeverity;

pub use lean_frontier::LeanFrontierBucket;

pub use lean_frontier::LeanFrontierDiagnostic;

pub use lean_frontier::LeanFrontierReport;

pub use lean_frontier::extract_frontier_report;

pub use logging::ConformanceTestLogger;

pub use logging::LogCollector;

pub use logging::LogConfig;

pub use logging::LogEntry;

pub use logging::LogLevel;

pub use logging::TestEvent;

pub use logging::TestEventKind;

pub use report::render_console_summary;

pub use report::write_json_report;

pub use runner::ComparisonResult;

pub use runner::ComparisonStatus;

pub use runner::ComparisonSummary;

pub use runner::RunConfig;

pub use runner::RunSummary;

pub use runner::SingleRunResult;

pub use runner::SuiteResult;

pub use runner::SuiteTestResult;

pub use runner::TestRunner;

pub use runner::compare_results;

pub use runner::run_comparison;

pub use runner::run_conformance_suite;

pub use traceability::CiReport;

pub use traceability::CoverageStats;

pub use traceability::ScanWarning;

pub use traceability::SpecRequirement;

pub use traceability::TraceabilityEntry;

pub use traceability::TraceabilityMatrix;

pub use traceability::TraceabilityMatrixBuilder;

pub use traceability::TraceabilityScan;

pub use traceability::TraceabilityScanError;

pub use traceability::requirements_from_entries;

pub use traceability::scan_conformance_attributes;

Modules

bench

Benchmark framework for conformance and performance comparisons.

lean_coverage_matrix

Lean proof coverage ontology and machine-readable matrix model.

lean_frontier

Deterministic Lean build frontier extraction and error bucketing.

logging

Logging infrastructure for conformance tests.

report

Report generation for conformance test results.

runner

Test runner for executing conformance tests.

tests

traceability

Spec-to-test traceability matrix generation.

Macros

benchmark

Macro for defining benchmarks.

conformance_test

Macro for defining conformance tests.

trace_entries

Macro for defining traceability entries inline.

Structs

Checkpoint

A checkpoint recorded during test execution.

ConformanceTest

A registered conformance test.

OneshotRecvError

Error when receiving from a closed oneshot channel.

TestMeta

Metadata for a conformance test.

TestResult

Result of a conformance test execution.

TimeoutError

Timeout error.

WatchRecvError

Error when receiving from a closed watch channel.

Enums

BroadcastRecvError

Error when receiving from a closed broadcast channel.

TestCategory

Categories of conformance tests.

Traits

AsyncFile

Async file trait.

BroadcastReceiver

Broadcast receiver trait.

BroadcastSender

Broadcast sender trait.

MpscReceiver

MPSC receiver trait.

MpscSender

MPSC sender trait.

OneshotSender

Oneshot sender trait.

RuntimeInterface

Trait that async runtimes must implement to run conformance tests.

TcpListener

TCP listener trait.

TcpStream

TCP stream trait.

UdpSocket

UDP socket trait.

WatchReceiver

Watch receiver trait.

WatchSender

Watch sender trait.

Functions

checkpoint

Helper function to record a checkpoint.