Module tcb::causality_checker::causality_checker

Causality checker algorithm implementation.

Functions

check_causal_delivery

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