Struct KaniListHarnesses

pub struct KaniListHarnesses {
    pub inner: IndexMap<BoxStr, IndexSet<BoxStr>>,
}

Fields

inner: IndexMap<BoxStr, IndexSet<BoxStr>>

Implementations

impl KaniListHarnesses

pub fn normalize_file_path(&mut self)

pub fn strip_path_prefix(&mut self, prefix: &str)

pub fn strip_path_closure_name(&mut self, v_text: &[&str])

fn files(&self) -> Vec<&str>

fn names<'harness>( &'harness self, v: &mut Vec<&'harness str>, filter: impl FnMut(&str, &str) -> bool, )

filter is a closure where the first argument is filename, and the second is function name. If filter returns true, the function name will be appended to v.

Trait Implementations

impl Clone for KaniListHarnesses

fn clone(&self) -> KaniListHarnesses

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for KaniListHarnesses

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KaniListHarnesses

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for KaniListHarnesses

fn eq(&self, other: &KaniListHarnesses) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for KaniListHarnesses

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for KaniListHarnesses

impl StructuralPartialEq for KaniListHarnesses