Function test_generation::transitions::memory_safe

pub fn memory_safe(state: &AbstractState, index: Option<usize>) -> bool

TODO: This is a temporary function that represents memory safety for a reference. This should be removed and replaced with appropriate memory safety premises when the borrow checking infrastructure is fully implemented. index is Some(i) if the instruction can be memory safe when operating on non-reference types.