Searched refs:randomSeedFile (Results 1 – 1 of 1) sorted by relevance
131 FILE* randomSeedFile = fopen(filename.c_str(), "a"); in TEST() local132 fprintf(randomSeedFile, "%u\n", randomSeed); in TEST()133 fclose(randomSeedFile); in TEST()134 randomSeedFile = NULL; in TEST()