Searched refs:AdditionalCorpus (Results 1 – 1 of 1) sorted by relevance
431 std::vector<Unit> AdditionalCorpus; in RereadOutputCorpus() local432 ReadDirToVectorOfUnits(Options.OutputCorpus.c_str(), &AdditionalCorpus, in RereadOutputCorpus()436 Printf("Reload: read %zd new units.\n", AdditionalCorpus.size()); in RereadOutputCorpus()438 for (auto &U : AdditionalCorpus) { in RereadOutputCorpus()