Skip to main content

coverage_summary

logicaffeine_proof::census

Function coverage_summary 

Source 
pub fn coverage_summary(n: usize) -> CoverageSummary
Expand description

Aggregate the census into the CoverageSummary hardness spectrum.