Struct clarity_repl::analysis::coverage::TestCoverageReport

pub struct TestCoverageReport {
    pub test_name: String,
    pub contracts_coverage: HashMap<QualifiedContractIdentifier, HashMap<u64, u64>>,
}

One TestCoverageReport per test file.

Fields

test_name: String

contracts_coverage: HashMap<QualifiedContractIdentifier, HashMap<u64, u64>>

Implementations

impl TestCoverageReport

pub fn new(test_name: String) -> TestCoverageReport

Trait Implementations

impl Clone for TestCoverageReport

fn clone(&self) -> TestCoverageReport

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TestCoverageReport

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

Formats the value using the given formatter.

impl Default for TestCoverageReport

fn default() -> TestCoverageReport

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TestCoverageReport

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl EvalHook for TestCoverageReport

fn will_begin_eval( &mut self, env: &mut Environment<'_, '_, '_>, context: &LocalContext<'_>, expr: &SymbolicExpression )

fn did_finish_eval( &mut self, _env: &mut Environment<'_, '_, '_>, _context: &LocalContext<'_>, _expr: &SymbolicExpression, _res: &Result<Value, Error> )

fn did_complete(&mut self, _result: Result<&mut ExecutionResult, String>)

impl Serialize for TestCoverageReport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.