Searched refs:AdditionalCorpus (Results 1 – 1 of 1) sorted by relevance
418 std::vector<Unit> AdditionalCorpus; in RereadOutputCorpus() local421 Options.OutputCorpus.c_str(), &AdditionalCorpus, in RereadOutputCorpus()426 Printf("Reload: read %zd new units.\n", AdditionalCorpus.size()); in RereadOutputCorpus()428 for (size_t i = 0; i != AdditionalCorpus.size(); ++i) { in RereadOutputCorpus()429 auto &U = AdditionalCorpus[i]; in RereadOutputCorpus()