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