docs.rs failed to build asupersync-conformance-0.3.4
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build:
asupersync-conformance-0.3.1
asupersync-conformance
asupersync-conformance provides fixtures and checks for validating async
runtime behavior against the asupersync conformance expectations.
Purpose
This crate is intended for conformance testing and report generation used by the asupersync project and compatible runtime implementations.
It also exposes machine-readable coverage tooling for formal proof tracking:
traceabilityfor spec-to-test mappingslean_coverage_matrixfor Lean proof coverage ontology/matrix validation
License
MIT