Erlang, Elixir, Chaos Engineering, Testing, Benchmark.
can easily implement a rule that verifies this property. Below you can find a test found in the actual check: replicant_bootstrap_stages(Trace0) -> Trace = ?of_domain([mria, rlog, replica|_], Trace0), ?causality( #{?snk_kind := state_change, to := disconnected, ?snk_meta := #{pid := _Pid}} ,