diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-27 11:47:41 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-27 11:47:41 +0200 |
commit | 74ac45dfc02be6ed1d20c105290b515e8347b396 (patch) | |
tree | 26108baecef2ecadb5efcc24ca6af0b86a47c740 /DEVELOPMENT.md | |
parent | Makefile: remove unused targets (diff) | |
download | cimple-74ac45dfc02be6ed1d20c105290b515e8347b396.tar.gz cimple-74ac45dfc02be6ed1d20c105290b515e8347b396.zip |
mention Valgrind tests in DEVELOPMENT.md
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 |