diff options
author | Mike Aizatsky <mike.aizatsky@gmail.com> | 2016-10-26 11:05:14 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-26 11:05:14 -0700 |
commit | 99009672d76a03c7cc054d0e191ecf72e7ead2ed (patch) | |
tree | 55d6fa0d0fdec1243154bd47aa1ea39e8f3cc33c /docs | |
parent | c77a82de75b048c121531183747428108841e06d (diff) |
Update reproducing.md
Diffstat (limited to 'docs')
-rw-r--r-- | docs/reproducing.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/reproducing.md b/docs/reproducing.md index 1559af8a..ac0f8aac 100644 --- a/docs/reproducing.md +++ b/docs/reproducing.md @@ -22,7 +22,7 @@ Follow these steps: docker run --rm -v <local_sources>:/src/target_src -v <reproducer_file>:/testcase -t ossfuzz/<target> reproduce <fuzzer> ``` - It is essentialy the previous command that addionally mounts local sources into the running container. -- *Fix the issue.* Use the previous command to help you fix the issue. + This is essentialy the previous command that addionally mounts local sources into the running container. +- *Fix the issue.* Use the previous command to verify you fixed the issue locally. - *Submit the fix.* Clusterfuzz will automatically pick up the changes, recheck the testcast and will close the issue. |