Searched refs:NUM_RAND_ROUTES (Results 1 – 1 of 1) sorted by relevance
73 NUM_RAND_ROUTES = 400, enumerator75 NUM_QUERIES = NUM_RAND_ROUTES * NUM_MUTATED_ROUTES * 30286 for (i = 0; i < NUM_RAND_ROUTES; ++i) { in randomized_test()330 for (i = 0; i < NUM_RAND_ROUTES; ++i) { in randomized_test()