in bft-lib/src/simulated_context.rs [61:71]
fn happened_just_before(&self, other: &SimulatedLedgerState) -> bool {
if self.execution_history.len() + 1 != other.execution_history.len() {
return false;
}
for i in 0..self.execution_history.len() {
if self.execution_history[i] != other.execution_history[i] {
return false;
}
}
true
}