opentitanlib::io::console

Trait CoverageConsole

Source 
pub trait CoverageConsole {
    // Required method
    fn coverage_blocks_processed(&self) -> usize;
}
Expand description

Interface for objects that can wait for coverage extraction to complete.

Required Methods§

Source

fn coverage_blocks_processed(&self) -> usize

Returns the number of coverage blocks processed (finished or skipped).

Implementors§