summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrick Rhomberg <patrhom@google.com>2021-02-12 18:42:00 +0000
committerPatrick Rhomberg <patrhom@google.com>2021-02-12 18:42:00 +0000
commit2e11bf8b96ea2c2571dbdf332cde41a033045be4 (patch)
treef38a7dcbbf3afb9af8d07035420cdba1ec37b69a
parent303915f8aae1a424ba749a44b057d33548a02fd6 (diff)
Add note about documentation being incomplete.
-rw-r--r--contributors/devel/sig-testing/verify-tests.md5
1 files changed, 5 insertions, 0 deletions
diff --git a/contributors/devel/sig-testing/verify-tests.md b/contributors/devel/sig-testing/verify-tests.md
index 283da057..508809ba 100644
--- a/contributors/devel/sig-testing/verify-tests.md
+++ b/contributors/devel/sig-testing/verify-tests.md
@@ -4,6 +4,7 @@
- [Verification Tests](#verification-tests)
- [Overview](#overview)
+ - [Note](#note)
- [`verify-govet-levee`](#verify-govet-leve)
## Overview
@@ -19,6 +20,10 @@ Most verification tests are self-explanatory.
The verification tests fails when `go vet` produces any findings.
More complex verification tests are described below.
+### Note
+
+This documentation is a work in progress. This listing is incomplete.
+
### `verify-govet-levee`
Verification in `verify-govet-levee.sh` uses taint propagation analysis