[][src]Function tcb::causality_checker::causality_checker::check_causal_delivery

pub fn check_causal_delivery(
    peer_number: usize,
    peer_dot_sequences: Vec<Vec<CausalCheck>>,
    graph_implementation: bool
) -> CausalityChecker

Starts the causality checker by using the group's dot sequences.

Arguments

peer_number - group size

peer_dot_sequences - sequences with the messages' dots

graph_implementation - flag that if True the middleware used a graph implementation