Expand description
Property Sufficiency Analysis
Before running verification, check if your properties are sufficient to cover the spec.
Structs§
- Sufficiency
Report - Sufficiency analysis report.
Functions§
- analyze_
sufficiency - Analyze property sufficiency from a KG.