Searched refs:ShuffledArgs (Results 1 – 1 of 1) sorted by relevance
419 std::vector<Argument *> ShuffledArgs; in RunRandTest() local422 ShuffledArgs.push_back(&Arg); in RunRandTest()426 std::shuffle(ShuffledArgs.begin(), ShuffledArgs.end(), Rng); in RunRandTest()443 Args.push_back(ShuffledArgs[i]); in RunRandTest()461 getKnowledgeFromUseInAssume(&*ShuffledArgs[i]->use_begin()); in RunRandTest()