# pm4exunit documentation

Organized by [Diátaxis](https://diataxis.fr): four kinds of documentation for four needs.

## Tutorials (learning)

- [Write your first conformance test](tutorials/first-conformance-test.md)

## How-to guides (tasks)

- [Allow several valid paths](how-to/model-multiple-paths.md)
- [Enforce a latency SLA](how-to/enforce-a-latency-sla.md)
- [Assert that a trace is rejected](how-to/refute-a-trace.md)
- [Emit TAP or JUnit output](how-to/emit-tap-and-junit.md)
- [Assert on a plain list of activities](how-to/assert-on-plain-lists.md)

## Reference (facts)

- [API reference](reference/api.md)

## Explanation (understanding)

- [How token-based replay scores a trace](explanation/token-based-replay.md)
- [Why a session process per test](explanation/session-per-test.md)