Function test_generation::transitions::stack_ref_polymorphic_eq

source · 
pub fn stack_ref_polymorphic_eq(
    state: &AbstractState,
    index1: usize,
    index2: usize
) -> bool
Expand description

Determine whether an abstract value on the stack that is a reference points to something of the same type as another abstract value on the stack