| 370 | } |
| 371 | |
| 372 | void Fuzzer::PrintFinalStats() { |
| 373 | if (Options.PrintFullCoverage) |
| 374 | TPC.PrintCoverage(/*PrintAllCounters=*/true); |
| 375 | if (Options.PrintCoverage) |
| 376 | TPC.PrintCoverage(/*PrintAllCounters=*/false); |
| 377 | if (Options.PrintCorpusStats) |
| 378 | Corpus.PrintStats(); |
| 379 | if (!Options.PrintFinalStats) |
| 380 | return; |
| 381 | size_t ExecPerSec = execPerSec(); |
| 382 | Printf("stat::number_of_executed_units: %zd\n", TotalNumberOfRuns); |
| 383 | Printf("stat::average_exec_per_sec: %zd\n", ExecPerSec); |
| 384 | Printf("stat::new_units_added: %zd\n", NumberOfNewUnitsAdded); |
| 385 | Printf("stat::slowest_unit_time_sec: %ld\n", TimeOfLongestUnitInSeconds); |
| 386 | Printf("stat::peak_rss_mb: %zd\n", GetPeakRSSMb()); |
| 387 | } |
| 388 | |
| 389 | void Fuzzer::SetMaxInputLen(size_t MaxInputLen) { |
| 390 | assert(this->MaxInputLen == 0); // Can only reset MaxInputLen from 0 to non-0. |
no test coverage detected