Home
last modified time | relevance | path

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

/third_party/json/test/thirdparty/Fuzzer/afl/
Dafl_driver.cpp105 static FILE *extra_stats_file = NULL; variable
148 int chars_printed = fprintf(extra_stats_file, kExtraStatsFormatString, in write_extra_stats()
153 CHECK_ERROR(fclose(extra_stats_file) == 0, in write_extra_stats()
186 extra_stats_file = fopen(extra_stats_filename, "r"); in maybe_initialize_extra_stats()
189 if (extra_stats_file) { in maybe_initialize_extra_stats()
190 int matches = fscanf(extra_stats_file, kExtraStatsFormatString, in maybe_initialize_extra_stats()
197 CHECK_ERROR(fclose(extra_stats_file) == 0, "Failed to close file"); in maybe_initialize_extra_stats()
200 extra_stats_file = fopen(extra_stats_filename, "w"); in maybe_initialize_extra_stats()
201 CHECK_ERROR(extra_stats_file, in maybe_initialize_extra_stats()
205 extra_stats_file = fopen(extra_stats_filename, "w+"); in maybe_initialize_extra_stats()
[all …]