diff options
Diffstat (limited to 'infra/base-images/base-runner/coverage')
| -rwxr-xr-x | infra/base-images/base-runner/coverage | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/base-images/base-runner/coverage b/infra/base-images/base-runner/coverage index 31356cf9b..785689c7f 100755 --- a/infra/base-images/base-runner/coverage +++ b/infra/base-images/base-runner/coverage @@ -24,7 +24,7 @@ else -e 'llvm-symbolizer' \ -e 'jazzer_agent_deploy.jar' \ -e 'jazzer_driver' \ - -e 'jazzer_driver_asan')" + -e 'jazzer_driver_with_sanitizer')" fi DUMPS_DIR="$OUT/dumps" |