API Reference pm4exunit v#26.11.12

Process Mining, Conformance Checking, and Temporal SLA Verification for ExUnit. The Elixir native counterpart to pm4pytest.

ExUnit assertion macros for process intelligence and conformance checking.

Formal Token-Based Replay and FSM Conformance Engine for Elixir / ExUnit. Validates traces against allowed finite state machine transitions and execution paths. Calculates token replay fitness: fitness = 0.5 (1 - missing / consumed) + 0.5 (1 - remaining / produced)

Generates machine-parseable test output (TAP v13, JUnit XML) for process intelligence runs. Matches pm4pytest reporters.

Session process and state manager for test instrumentation. Maintains events, objects, and specs for the currently running ExUnit test.

Temporal Latency SLA Engine for ExUnit. Validates durations between specified process activities against strict thresholds.

Collects process execution traces and events in-memory during an ExUnit test case. Provides structured OCEL 2.0 object and event recording.