Searched refs:AdditionalCorpus (Results 1 – 1 of 1) sorted by relevance
148 std::vector<Unit> AdditionalCorpus; in RereadOutputCorpus() local149 ReadDirToVectorOfUnits(Options.OutputCorpus.c_str(), &AdditionalCorpus, in RereadOutputCorpus()152 Corpus = AdditionalCorpus; in RereadOutputCorpus()157 Printf("Reload: read %zd new units.\n", AdditionalCorpus.size()); in RereadOutputCorpus()158 for (auto &X : AdditionalCorpus) { in RereadOutputCorpus()