veritas-plugin-api-0.1.0
- veritas-plugin-api 0.1.0
- Docs.rs crate page
- Apache-2.0 OR MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- Jacobious52
- Dependencies
- anyhow ^1.0 normal
  camino ^1.1 normal
  serde ^1.0 normal
- Versions
- 0% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Crate veritas_plugin_api

veritas_plugin_api0.1.0

All Items

Crate Items

Structs
Enums
Traits

Crate veritas_plugin_api

Structs§

CommandRecord
CoverageFile
CoverageReport
Failure
GeneratedArtifact
LineRange
ProjectInfo
ReproCase
TestRunResult
VerificationPlan
VerificationReport
VerificationTarget

Enums§

ArtifactKind
ArtifactStatus
FailureSeverity
RiskLevel
RunStatus
TargetKind
VerificationStrategy

Traits§

LanguagePlugin
VerificationPlanner