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