Function test_generation::transitions::stack_has
source · pub fn stack_has(
state: &AbstractState,
index: usize,
abstract_value: Option<AbstractValue>
) -> bool
Expand description
Determine whether the stack is at least of size index
. If the optional abstract_value
argument is some AbstractValue
, check whether the type at index
is that abstract_value.