Searched refs:NUM_MUTATED_ROUTES (Results 1 – 1 of 1) sorted by relevance
74 NUM_MUTATED_ROUTES = 100, enumerator75 NUM_QUERIES = NUM_RAND_ROUTES * NUM_MUTATED_ROUTES * 30300 for (j = 0; j < NUM_MUTATED_ROUTES; ++j) { in randomized_test()344 for (j = 0; j < NUM_MUTATED_ROUTES; ++j) { in randomized_test()