Lines Matching defs:donors_file
204 std::string* out_binary_file, std::string* donors_file,
238 *donors_file = std::string(split_flag.second);
405 if (!donors_file->empty()) {
434 if (donors_file->empty()) {
576 std::ifstream donors_file(donors);
577 if (!donors_file) {
582 while (std::getline(donors_file, donor_filename)) {
692 std::string donors_file;
704 ParseFlags(argc, argv, &in_binary_file, &out_binary_file, &donors_file,
754 initial_facts, donors_file, repeated_pass_strategy,