Function isla_axiomatic::axiomatic::relations::intra_instruction_ordered [−][src]
pub fn intra_instruction_ordered<B: BV>(
ev1: &AxEvent<'_, B>,
ev2: &AxEvent<'_, B>
) -> bool
pub fn intra_instruction_ordered<B: BV>(
ev1: &AxEvent<'_, B>,
ev2: &AxEvent<'_, B>
) -> bool