diff options
| -rw-r--r-- | contributors/devel/sig-testing/verify-tests.md | 5 |
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 |