in coinrun/coinrun.cpp [1811:1834]
void initialize_args(int *int_args) {
USE_HIGH_DIF = int_args[0] == 1;
NUM_LEVELS = int_args[1];
PAINT_VEL_INFO = int_args[2] == 1;
USE_DATA_AUGMENTATION = int_args[3] == 1;
DEFAULT_GAME_TYPE = int_args[4];
int training_sets_seed = int_args[5];
int rand_seed = int_args[6];
if (NUM_LEVELS > 0 && (training_sets_seed != -1)) {
global_rand_gen.seed(training_sets_seed);
USE_LEVEL_SET = true;
LEVEL_SEEDS = new int[NUM_LEVELS];
for (int i = 0; i < NUM_LEVELS; i++) {
LEVEL_SEEDS[i] = global_rand_gen.randint();
}
}
global_rand_gen.seed(rand_seed);
}