# Property-based testing

:::{todo}
Technical description of functions used for formulating tested properties and for running property checks.
:::