diff options
| author |  jonathanmetzman <31354670+jonathanmetzman@users.noreply.github.com> | 2021-06-18 10:26:36 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2021-06-18 10:26:36 -0700 |
| commit | de0cec2514e1be93fb453a812219de64063eeb7b (patch) | |
| tree | c9c5c126ebf2ff51d8bf8146146dd247777c054b /infra/cifuzz/docker.py | |
| parent | 9350aca46477d7196411206bcc55342ede2a8fa0 (diff) | |
[CIFuzz] Improve fuzz_target.py (#5929)
* [CIFuzz] Clean up fuzz_target.py
1. Use CORPUS_DIR env var to set corpus so that corpus can be saved.
2. Clean up is_crash_novel.
* fix
* consistency
* improve logging messages, remove over-cautious check
* fix tests
* fix tests
* Make sure corpus path is mapped
Diffstat (limited to 'infra/cifuzz/docker.py')
| -rw-r--r-- | infra/cifuzz/docker.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/infra/cifuzz/docker.py b/infra/cifuzz/docker.py index eb993e28..1179d783 100644 --- a/infra/cifuzz/docker.py +++ b/infra/cifuzz/docker.py @@ -36,3 +36,9 @@ def delete_images(images): command = ['docker', 'rmi', '-f'] + images utils.execute(command) utils.execute(['docker', 'builder', 'prune', '-f']) + + +def get_args_mapping_host_path_to_container(path): + """Get arguments to docker run that will map |path| a path on the host to the + same location in the container.""" + return ['-v', f'{path}:{path}'] |