Assert that a trace is rejected

Use refute_conformance/3 to prove that a trace is rejected: it fails the model, or its fitness is below :min_fitness (default 1.0). Requires use Pm4ExUnit, which imports the assertions and defines emit_event/4:

emit_event(session, "e1", :order_created)
emit_event(session, "e3", :order_fulfilled)

refute_conformance(session, [[:order_created, :payment_processed, :order_fulfilled]])

It raises ExUnit.AssertionError if the trace conforms. It returns the evaluation result (%{success: false, violations: [...], diagnostics: %{...}}), so you can assert on violations.