Modules§
Structs§
- Assertion
Candidate - Behavior
Replay Case - Behavior
Replay Observation - Budget
Metrics - Command
Budget - Command
Record - Confidence
Score - Corpus
Entry - Coverage
File - Coverage
Report - Evolution
Candidate Record - Evolution
Fitness - Evolution
Generation - Evolution
Generation Candidate - Evolution
Metrics - Evolution
Quality Delta - Evolution
Suite - Failure
- Fuzz
Metrics - Generated
Artifact - Line
Range - Mutation
Attribution - Mutation
Isolation Record - Mutation
Metrics - Mutation
Record - Performance
Metrics - Project
Info - Property
Metrics - Quality
Baseline - Quality
Delta - Regression
Metrics - Replay
Metrics - Repro
Case - Source
Span - Test
RunResult - Verification
Plan - Verification
Quality - Verification
Report - Verification
Target
Enums§
- Artifact
Kind - Artifact
Status - Assertion
Domain - Assertion
Source - Behavior
Replay Status - Confidence
Grade - Evolution
Candidate Kind - Evolution
Candidate Status - Evolution
Outcome - Evolution
Strategy - Failure
Severity - Mutation
Status - Plugin
Capability - Risk
Level - RunStatus
- Target
Kind - Verification
Strategy