Home
last modified time | relevance | path

Searched refs:extra_stats_file (Results 1 - 1 of 1) sorted by relevance

/third_party/json/tests/thirdparty/Fuzzer/afl/
H A Dafl_driver.cpp105 static FILE *extra_stats_file = NULL; variable
148 int chars_printed = fprintf(extra_stats_file, kExtraStatsFormatString, in write_extra_stats()
151 CHECK_ERROR(chars_printed != 0, "Failed to write extra_stats_file"); in write_extra_stats()
153 CHECK_ERROR(fclose(extra_stats_file) == 0, in write_extra_stats()
154 "Failed to close extra_stats_file"); in write_extra_stats()
169 // If the user has specified an extra_stats_file through the environment
186 extra_stats_file = fopen(extra_stats_filename, "r"); in maybe_initialize_extra_stats()
188 // If extra_stats_file already exists: read old stats from it. in maybe_initialize_extra_stats()
189 if (extra_stats_file) { in maybe_initialize_extra_stats()
190 int matches = fscanf(extra_stats_file, kExtraStatsFormatStrin in maybe_initialize_extra_stats()
[all...]

Completed in 1 milliseconds