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

All

veritas_plugin_api0.1.0

Crate Items

Structs
Enums
Traits

List of all items

Structs

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

Enums

ArtifactKind
ArtifactStatus
FailureSeverity
RiskLevel
RunStatus
TargetKind
VerificationStrategy

Traits

LanguagePlugin
VerificationPlanner