aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Fuzzer/FuzzerFlags.def
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Fuzzer/FuzzerFlags.def')
-rw-r--r--lib/Fuzzer/FuzzerFlags.def1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Fuzzer/FuzzerFlags.def b/lib/Fuzzer/FuzzerFlags.def
index 068f245..08176af 100644
--- a/lib/Fuzzer/FuzzerFlags.def
+++ b/lib/Fuzzer/FuzzerFlags.def
@@ -32,6 +32,7 @@ FUZZER_FLAG(int, help, 0, "Print help.")
FUZZER_FLAG(
int, save_minimized_corpus, 0,
"If 1, the minimized corpus is saved into the first input directory")
+FUZZER_FLAG(int, use_counters, 0, "Use coverage counters")
FUZZER_FLAG(int, use_full_coverage_set, 0,
"Experimental: Maximize the number of different full"
" coverage sets as opposed to maximizing the total coverage."