diff options
| author | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2016-07-26 11:45:30 +0200 |
|---|---|---|
| committer | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2016-07-26 15:19:25 +0200 |
| commit | e9d97be44f1b210e34982da5e2370aa12d2b18ba (patch) | |
| tree | 7a0884435d2aa2ffaadb6bd66c30cb30c7622e60 /devel | |
| parent | 1a491c60d39f224e690b39f65f93c69cade80261 (diff) | |
| download | gnutls-e9d97be44f1b210e34982da5e2370aa12d2b18ba.tar.gz | |
README.ci-runners: document asan and ubsan tags
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/README.ci-runners | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devel/README.ci-runners b/devel/README.ci-runners index f4ba559593..425430f2cf 100644 --- a/devel/README.ci-runners +++ b/devel/README.ci-runners @@ -53,6 +53,14 @@ This runner has mingw and basic libraries installed. yum install -y mingw32-nettle mingw32-libtasn1 mingw32-gcc ``` +## ubsan + +This runner has undefined sanitizer available + +## asan + +This runner has address sanitizer available + ## fedora This is a system with Fedora installed. |