Struct BranchRec 

pub struct BranchRec {
    pub site: u64,
    pub taken: bool,
}

One decision in a concrete trace: the site and the direction taken.

Operand values are deliberately absent. A changed input necessarily changes the operands of earlier comparisons that still go the same way, so a verification predicate that compared whole records would reject genuine flips. Sites and directions are the path.

Fields

site: u64

The decision site (an address in every frontend so far).

taken: bool

Whether the branch was taken.

Trait Implementations

impl Clone for BranchRec

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BranchRec

impl Debug for BranchRec

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

Formats the value using the given formatter.

impl Eq for BranchRec

impl PartialEq for BranchRec

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BranchRec