# `TF002` Generate a PDF

Output requirements and tests in PDF format

:::{dropdown} Is a test for
:open: 
:icon: check-circle-fill
:color: primary

- [`SF002` PDF output](/requirements/SF002)
- [`SN004` Offline development](/requirements/SN004)
:::

## Initial state
The expected state is the final state of
[`TF001` Writing requirements as text](/tests/TF001)
## Procedure
### Step 1
List the yamls files of the project inside a typst file
```console
$ cat specification.typ
```
```typst
#import "@local/speky:0.0.7": speky
#speky(("spec.yaml",  "tests.yaml").map(yaml))

```
### Step 2
Run Typst and open PDF
```console
$ typst compile specification.typ && open specification.pdf
```
### Step 3
Verify the requirements are found inside:
- The unique ID and short summary as section title
- The statement as a paragraph

Verify that:
- the test `T01` links to the requirement `S01`: "Is a test for `S01` Lorem ipsum"
- the requiremenmt `S01` links to the test `T01`: "Tested by `T01`"