Searched refs:ShuffledArgs (Results 1 – 1 of 1) sorted by relevance
435 std::vector<Argument *> ShuffledArgs; in RunRandTest() local438 ShuffledArgs.push_back(&Arg); in RunRandTest()442 std::shuffle(ShuffledArgs.begin(), ShuffledArgs.end(), Rng); in RunRandTest()459 Args.push_back(ShuffledArgs[i]); in RunRandTest()477 getKnowledgeFromUseInAssume(&*ShuffledArgs[i]->use_begin()); in RunRandTest()