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