Struct SetTracker

pub struct SetTracker { /* private fields */ }

Tracker of executed left and right branches for each case node.

Implementations

impl SetTracker

pub fn left(&self) -> &HashSet<Ihr>

Access the set of IHRs of case nodes whose left branch was executed.

pub fn right(&self) -> &HashSet<Ihr>

Access the set of IHRs of case nodes whose right branch was executed.

Trait Implementations

impl Clone for SetTracker

fn clone(&self) -> SetTracker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SetTracker

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

Formats the value using the given formatter.

impl Default for SetTracker

fn default() -> SetTracker

Returns the “default value” for a type.

impl<J: Jet> ExecTracker<J> for SetTracker

fn track_left(&mut self, ihr: Ihr)

Track the execution of the left branch of the case node with the given ihr.

fn track_right(&mut self, ihr: Ihr)

Track the execution of the right branch of the case node with the given ihr.

fn track_jet_call(&mut self, _: &J, _: &[UWORD], _: &[UWORD], _: bool)

Track the execution of a jet call with the given input_buffer, output_buffer, and call result success.

fn track_dbg_call(&mut self, _: &Cmr, _: Value)

Track the potential execution of a dbg! call with the given cmr and value.

fn is_track_debug_enabled(&self) -> bool

Check if tracking debug calls is enabled.