Skip to main content

Module coverage

Module coverage 

Source

Structsยง

CoverageAccumulator
Accumulates coverage across multiple runs. Used by Soleno to track total coverage during exploration.
CoverageReport
Bytecode coverage tracking.