diff options
author | 2018-10-01 06:43:21 -0700 | |
---|---|---|
committer | 2018-10-01 06:43:21 -0700 | |
commit | 7703e360de991dab9f0c2dc1b8fb984af7d90a14 (patch) | |
tree | 75969fbbe192004999f47ecda2891b4679adae51 /infra/gcb | |
parent | 87e5fbf3696794649629275390d8bca84b791fd8 (diff) |
[infra] Remove sancov and rename "profile" to "coverage". (#1839)
* [infra] Remove sancov and rename "profile" to "coverage".
* Bring coverage flags back.
* Update projects files that rely on SANITIZER="profile".
Diffstat (limited to 'infra/gcb')
-rw-r--r-- | infra/gcb/build_and_run_coverage.py | 2 | ||||
-rwxr-xr-x | infra/gcb/build_project.py | 8 |
2 files changed, 2 insertions, 8 deletions
diff --git a/infra/gcb/build_and_run_coverage.py b/infra/gcb/build_and_run_coverage.py index fc943e28..12f7f772 100644 --- a/infra/gcb/build_and_run_coverage.py +++ b/infra/gcb/build_and_run_coverage.py @@ -13,7 +13,7 @@ import urlparse import build_project -SANITIZER = 'profile' +SANITIZER = 'coverage' CONFIGURATION = ['FUZZING_ENGINE=libfuzzer', 'SANITIZER=%s' % SANITIZER] PLATFORM = 'linux' diff --git a/infra/gcb/build_project.py b/infra/gcb/build_project.py index 881d95be..c000f269 100755 --- a/infra/gcb/build_project.py +++ b/infra/gcb/build_project.py @@ -29,7 +29,6 @@ CONFIGURATIONS = { 'sanitizer-address': ['SANITIZER=address'], 'sanitizer-memory': ['SANITIZER=memory'], 'sanitizer-undefined': ['SANITIZER=undefined'], - 'sanitizer-coverage': ['SANITIZER=coverage'], 'engine-libfuzzer': ['FUZZING_ENGINE=libfuzzer'], 'engine-afl': ['FUZZING_ENGINE=afl'], 'engine-honggfuzz': ['FUZZING_ENGINE=honggfuzz'], @@ -43,8 +42,7 @@ ENGINE_INFO = { 'libfuzzer': EngineInfo( upload_bucket='clusterfuzz-builds', - supported_sanitizers=['address', 'memory', 'undefined', - 'coverage']), + supported_sanitizers=['address', 'memory', 'undefined']), 'afl': EngineInfo( upload_bucket='clusterfuzz-builds-afl', @@ -121,10 +119,6 @@ def get_sanitizers(project_yaml): for key in sanitizer.iterkeys(): processed_sanitizers.append(key) - # Always make a coverage build. - if 'coverage' not in processed_sanitizers: - processed_sanitizers.append('coverage') - return processed_sanitizers |