Crate virtio_accel_conformance 

Reusable semantic conformance tests for [virtio_accel_core::Accelerator] backends.

The suite depends only on the transport-independent backend contract. An implementer supplies a fresh-backend factory, one executable target fixture, and a small hook that advances an event to completion. Optional accounting lets the same cases detect leaked provider resources. The numerics module adds stable, device-neutral TOSA graphs and numerical oracles that host backends can execute without substituting provider-specific fixtures.

Modules

numerics

Device-neutral numerical acceptance cases for hardware backends.

Structs

BindingFixture

One observable program binding used by the standard execution cases.

CaseResult

Result for one independently constructed backend instance.

ConformanceReport

Aggregate result from the standard semantic backend suite.

ProgramFixture

Provider artifact accepted by the backend under test.

ResourceCounts

Provider-owned resource totals sampled by an optional accounting hook.

SubmissionPathDiagnostics

Provider-reported submission path counters used to separate real accelerator work from staging.

TargetDescription

Owned provider-specific data required by the transport-free standard suite.

Enums

CaseRequirement

Why a conformance case is required or conditional.

CaseStatus

Outcome of one stable conformance case.

SkipReason

Explicit reason that one conditional case did not run.

TargetDescriptionError

Invalid provider fixture supplied to the conformance suite.

Traits

ConformanceHooks

Provider-specific control needed by tests without weakening the [Accelerator] contract.

Functions

run

Run every mandatory and advertised capability-conditional semantic case.