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