diff options
Diffstat (limited to 'fuzz/README.md')
| -rw-r--r-- | fuzz/README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/fuzz/README.md b/fuzz/README.md index d0c30f4461..69c388121b 100644 --- a/fuzz/README.md +++ b/fuzz/README.md @@ -39,7 +39,8 @@ Configure for fuzzing: --with-fuzzer-include=../../svn-work/Fuzzer \ --with-fuzzer-lib=../../svn-work/Fuzzer/libFuzzer \ -DPEDANTIC enable-asan enable-ubsan no-shared \ - -DFUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION + -DFUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION \ + -fsanitize-coverage=edge,indirect-calls,8bit-counters $ sudo apt-get install make $ LDCMD=clang++ make -j $ fuzz/helper.py $FUZZER |