diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-27 12:24:49 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-27 12:24:49 +0200 |
commit | 6b74dab3c0ebe13390ca0e15825b6dd98a0f8240 (patch) | |
tree | 0e00807d0f8199d2a89183e8cfa816901d395ad2 /DEVELOPMENT.md | |
parent | Makefile: reorder targets, add comments (diff) | |
download | cimple-6b74dab3c0ebe13390ca0e15825b6dd98a0f8240.tar.gz cimple-6b74dab3c0ebe13390ca0e15825b6dd98a0f8240.zip |
again, reorganize test targets
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: |