Searched refs:ExploreAlignment (Results 1 – 1 of 1) sorted by relevance
138 z3::expr ExploreAlignment = IsMemcpy && kExploreAlignmentArg; in RandomFunctionGenerator() local140 (ExploreAlignment && in RandomFunctionGenerator()142 (!ExploreAlignment && AlignedArg == (int)AlignArg::_1)); in RandomFunctionGenerator()