Searched refs:kExploreAlignmentArg (Results 1 – 1 of 1) sorted by relevance
59 static constexpr bool kExploreAlignmentArg = true; variable138 z3::expr ExploreAlignment = IsMemcpy && kExploreAlignmentArg; in RandomFunctionGenerator()