diff options
| author |  Max Moroz <mmoroz@chromium.org> | 2020-02-04 17:42:25 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-02-04 17:42:25 -0800 |
| commit | 8d3d290c61c610c6312f60d81ea9a38f44292afd (patch) | |
| tree | f8edfb651137f4a7bb3be684b2cdd54ce2e11a36 /infra/gcb | |
| parent | 3a8a70041009b0dcaeca0dfb0fa8728c9a6cf050 (diff) | |
[infra] Generate full coverage JSONs for dataflow enabled targets (#1632). (#3325)
Diffstat (limited to 'infra/gcb')
| -rw-r--r-- | infra/gcb/build_and_run_coverage.py | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/infra/gcb/build_and_run_coverage.py b/infra/gcb/build_and_run_coverage.py index b94fe355..649d5ad8 100644 --- a/infra/gcb/build_and_run_coverage.py +++ b/infra/gcb/build_and_run_coverage.py @@ -147,15 +147,16 @@ def get_build_steps(project_dir): '*' * 80).format(name=name) # Unpack the corpus and run coverage script. + coverage_env = env + [ + 'HTTP_PORT=', + 'COVERAGE_EXTRA_ARGS=%s' % project_yaml['coverage_extra_args'].strip(), + ] + if 'dataflow' in project_yaml['fuzzing_engines']: + coverage_env.append('FULL_SUMMARY_PER_TARGET=1') + build_steps.append({ - 'name': - 'gcr.io/oss-fuzz-base/base-runner', - 'env': - env + [ - 'HTTP_PORT=', - 'COVERAGE_EXTRA_ARGS=%s' % - project_yaml['coverage_extra_args'].strip() - ], + 'name': 'gcr.io/oss-fuzz-base/base-runner', + 'env': coverage_env, 'args': [ 'bash', '-c', ('for f in /corpus/*.zip; do unzip -q $f -d ${f%%.*} || (' |