# `Pm4ExUnit.Assertions`

ExUnit assertion macros for process intelligence and conformance checking.

# `assert_conformance`

Asserts that a trace or session conforms to a set of valid paths with minimum fitness threshold.

# `assert_sla`

Asserts that the temporal duration between two activities in the trace satisfies the max latency constraint.

# `refute_conformance`

Refutes conformance (asserts that a trace violates the model or fitness constraint).

---

*Consult [api-reference.md](api-reference.md) for complete listing*