Test Specification
==================

Test specifications for the affirmatrix requirements (``SEG-TS-nnn``). Each
one is the docstring of a test under ``tests/``: its first line is the title,
the paragraphs beneath it state the claim, and two docstring fields carry its
identity (``:test-id:``) and the requirements it verifies (``:verifies:``).
This page is generated from those docstrings at every build, so it always
shows the tests as they are. The ``verifies`` links point at the requirement
specification, whose pages show each requirement's tests under "is verified
by"; the test report links each result back here under "is reported by".

.. include:: _generated/specifications.inc