diff --git a/app/configs/fuzz_coverage.conf b/app/configs/fuzz_coverage.conf new file mode 100644 index 000000000000..baa08487a428 --- /dev/null +++ b/app/configs/fuzz_coverage.conf @@ -0,0 +1,2 @@ +CONFIG_COVERAGE=y +CONFIG_COVERAGE_NATIVE_SOURCE=y diff --git a/scripts/fuzz.sh b/scripts/fuzz.sh index 933856c04253..e29a0eed1623 100755 --- a/scripts/fuzz.sh +++ b/scripts/fuzz.sh @@ -125,6 +125,7 @@ main() case $SANITIZER in address) conf_files_list+=";configs/fuzz_asan.conf";; undefined) conf_files_list+=";configs/fuzz_ubsan.conf";; + coverage) conf_files_list+=";configs/fuzz_coverage.conf";; *) echo "Unknown fuzzer type"; print_help; exit 1;; esac