[docs] Add pull_images command to the code coverage documentation page. (#1644)

This commit is contained in:
Max Moroz 2018-07-23 08:02:28 -07:00 committed by GitHub
parent a5a3f73c58
commit 6decd84f6e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 0 deletions

View File

@ -4,6 +4,18 @@ You can generate code coverage report for your project using [Clang Source-based
Code Coverage].
## Pull the latest Docker images
Docker images get regularly updated with a newer version of build tools, build
configurations, scripts, and other changes. It is recommended to use the most
recent images for a better user experience.
```bash
python infra/helper.py pull_images
```
## Build fuzz targets
Code Coverage report generation requires a special build configuration to be