aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar olivekl <83081275+olivekl@users.noreply.github.com>2021-08-16 12:00:35 -0400
committerGravatar GitHub <noreply@github.com>2021-08-16 09:00:35 -0700
commit3ca919279a1d3f0d809d30e118c20ea1009ef175 (patch)
tree891f976608c512e2754a6298f45375f904e503a6
parent55a5812e8c53bf93bbf6000f3e0d0f168d164d1f (diff)
Clarify language in continuous_integration.md (#6227)
Clarify AND (not OR) for situations when crashes are reported
-rw-r--r--docs/getting-started/continuous_integration.md10
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/getting-started/continuous_integration.md b/docs/getting-started/continuous_integration.md
index 0f1627f3..7a6a305b 100644
--- a/docs/getting-started/continuous_integration.md
+++ b/docs/getting-started/continuous_integration.md
@@ -21,11 +21,11 @@ If CIFuzz finds a crash, CIFuzz reports the stacktrace, makes the crashing
input available for download and the CI test fails (red X).
If CIFuzz doesn't find a crash during the allotted time, the CI test passes
-(green check). If CIFuzz finds a crash, it reports the crash only:
-* If the crash is reproducible (on the PR/commit build).
-* If the crash does not occur on older OSS-Fuzz builds. Because if it does occur
- on older builds that means the crash was not introduced by the PR/commit
- CIFuzz is testing.
+(green check). If CIFuzz finds a crash, it reports the crash only if both of following are true:
+* The crash is reproducible (on the PR/commit build).
+* The crash does not occur on older OSS-Fuzz builds. (If the crash does occur
+ on older builds, then it was not introduced by the PR/commit
+ being tested.)
If your project supports [OSS-Fuzz's code coverage]({{ site.baseurl }}/advanced-topics/code-coverage),
CIFuzz only runs the fuzzers affected by a pull request/commit.