diff options
Diffstat (limited to 'manuals')
-rw-r--r-- | manuals/development.md | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/manuals/development.md b/manuals/development.md index 695ec0d0..e034341c 100644 --- a/manuals/development.md +++ b/manuals/development.md @@ -1357,11 +1357,13 @@ make coverage Otherwise, you will get errors. -Note that history does, by default, show no coverage at all. This is because, as -mentioned above, testing history with the test suite is not really possible. +If you want to run tests in parallel, you can do this: -However, it can be tested manually before running `make coverage_output`. Then -it should start showing coverage. +``` +make -j<cores> +make -j<cores> test +make coverage_output +``` ### [AddressSanitizer][21] and Friends |