Searched refs:SeedFile (Results 1 – 1 of 1) sorted by relevance
4388 std::ifstream SeedFile(A->getValue(0)); in ParseLangArgs() local4390 if (!SeedFile.is_open()) in ParseLangArgs()4394 std::getline(SeedFile, Opts.RandstructSeed); in ParseLangArgs()