Searched refs:total_failures_found (Results 1 – 1 of 1) sorted by relevance
687 int total_failures_found; in main() local697 total_failures_found = 0; in main()706 while (total_failures_found < MAX_FAILURES) in main()732 seed, total_failures_found, total_attempts); in main()758 total_failures_found += failures_this_iteration; in main()