Skip to content

Draft: Property based unit tests for DNS library

Petr Špaček requested to merge pspacek/hypothesis-unit-tests into main

This is an example how to make property-based unit tests for our C libraries.

Most notably this MR is missing build & test execution glue.

Build with:

cd tests/dns

Run tests with:

LD_PRELOAD=/usr/lib/ pytest
Edited by Petr Špaček

Merge request reports