diff options
| author |   Benoît Ganne <bganne@cisco.com> | 2019-11-29 17:28:30 +0100 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2020-01-23 15:53:35 +0000 |
| commit | 87e64c929fa534ebd29b18f38fc6c15fd216e7e4 (patch) | |
| tree | 1959e5887edd0393b8d3032ef368b8ce853161d8 /docs/troubleshooting/index.rst | |
| parent | 221b3839b197ea1a0d155dd4b635d4fa3d8123b6 (diff) | |
docs: add AddressSanitizer mini-howto
Type: docs
Change-Id: I3bb589d04f15a03166a6d457552ffc316fb02f94
Signed-off-by: Benoît Ganne <bganne@cisco.com>
Diffstat (limited to 'docs/troubleshooting/index.rst')
| -rw-r--r-- | docs/troubleshooting/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/troubleshooting/index.rst b/docs/troubleshooting/index.rst index 655eb1192e6..f652f3f2184 100644 --- a/docs/troubleshooting/index.rst +++ b/docs/troubleshooting/index.rst @@ -11,3 +11,4 @@ problem with FD.io VPP implementations. reportingissues/index.rst cpuusage + sanitizer |