Struct BehaviorInventory 

pub struct BehaviorInventory { /* private fields */ }

Implementations

impl BehaviorInventory

pub fn for_snapshot(snapshot_module: &str) -> Result<Self, BehaviorError>

Call from a dedicated snapshot module beside the checks’ owning module. Discovers this compiled libtest target, not other targets or Kani harnesses.

pub fn for_snapshot_with_runner( snapshot_module: &str, runner: Command, ) -> Result<Self, BehaviorError>

Discovers a snapshot through a configured runner, such as Cargo’s WASM test runner. The command must accept --list --format terse --ignored. Scope names belong to the runner’s target, not the host snapshot binary.

pub fn from_test_binary( executable: impl AsRef<Path>, ) -> Result<Self, BehaviorError>

The executable must be a trusted Rust libtest binary supporting --list.

pub fn checks(&self) -> &[BehaviorCheck]

pub fn render(&self) -> String

Trait Implementations

impl Clone for BehaviorInventory

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BehaviorInventory

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

Formats the value using the given formatter.

impl Eq for BehaviorInventory

impl PartialEq for BehaviorInventory

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BehaviorInventory