Function test_generation::transitions::stack_has_reference
source · pub fn stack_has_reference(
state: &AbstractState,
index: usize,
mutability: Mutability
) -> bool
Expand description
Determine whether the stack has a reference at index
with the given mutability.
If mutable
is Either
then the reference can be either mutable or immutable