diff options
Diffstat (limited to '')
| -rw-r--r-- | DEVELOPMENT.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md index 4a54fea..4f5d598 100644 --- a/DEVELOPMENT.md +++ b/DEVELOPMENT.md @@ -17,6 +17,12 @@ After building, you can run the "test suite" (depends on Pytest). make test +### Valgrind + +You can run a suite of basic sanity tests under Valgrind: + + make test/valgrind + ### Code coverage You can generate a code coverage report (depends on `gcovr`) in |