Struct InputCoverage

pub struct InputCoverage { /* private fields */ }

Implementations

impl InputCoverage

pub fn new() -> InputCoverage

pub fn coverage_len(&self) -> usize

pub fn messages_coverage(&self) -> &Vec<u64>

pub fn concatened_trace(&self) -> String

pub fn add_cov(&mut self, coverage: CoverageTrace)

pub fn save(&self, output: &PathBuf) -> Result<()>

pub fn redirect_coverage(&self, flat: &[u64])

We assume that the instrumentation will never insert more than 1_000 artificial branches This value should be big enough to handle most of smart-contract, even the biggest

Trait Implementations

impl Clone for InputCoverage

fn clone(&self) -> InputCoverage

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for InputCoverage

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for InputCoverage

fn default() -> InputCoverage

Returns the “default value” for a type.