diff options
Diffstat (limited to 'DEVELOPMENT.md')
| -rw-r--r-- | DEVELOPMENT.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md index 4f5d598..bc1799b 100644 --- a/DEVELOPMENT.md +++ b/DEVELOPMENT.md @@ -17,6 +17,10 @@ After building, you can run the "test suite" (depends on Pytest). make test +To only run a subset of basic sanity tests: + + make test/sanity + ### Valgrind You can run a suite of basic sanity tests under Valgrind: |