Function test_generation::transitions::local_availability_is
source · pub fn local_availability_is(
state: &AbstractState,
index: u8,
availability: BorrowState
) -> bool
Expand description
Check whether the local at index
is of the given availability