diff options
author | Oliver Chang <oliverchang@users.noreply.github.com> | 2018-05-10 14:06:54 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-10 14:06:54 +1000 |
commit | e2d56ed3c17c086f254a6eec1b36e8f81b769cdf (patch) | |
tree | 860d61ee2f9528d07dab1de428f4b63ecf80578b /docs/reproducing.md | |
parent | 15cd1dacd7b7b4f76358bf6718a887159d4e457b (diff) |
Update reproducing.md
Diffstat (limited to 'docs/reproducing.md')
-rw-r--r-- | docs/reproducing.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reproducing.md b/docs/reproducing.md index 5081ee62..bcfac692 100644 --- a/docs/reproducing.md +++ b/docs/reproducing.md @@ -39,7 +39,7 @@ $ python infra/helper.py build_fuzzers --sanitizer <address/memory/undefined> $P Our infrastructure runs some sanity tests to make sure that your build was correctly configured. To run these locally, run ```bash -$ python infra/helper.py check_build $PROJECT_NAME $FUZZER_NAME +$ python infra/helper.py check_build --sanitizer <address/memory/undefined> $PROJECT_NAME $FUZZER_NAME ``` ## Reproducing bugs |