Searched refs:AcceleratorEnd (Results 1 – 2 of 2) sorted by relevance
98 AcceleratorEnd(Context.int_const("AcceleratorEnd")), in RandomFunctionGenerator()108 addBoundsAndAnchors(AcceleratorBegin, AcceleratorEnd); in RandomFunctionGenerator()120 Solver.add(AcceleratorEnd == kMaxSize); in RandomFunctionGenerator()146 AcceleratorEnd)); // Only Memcpy has accelerator for now. in RandomFunctionGenerator()155 Solver.add(AcceleratorBegin == AcceleratorEnd); in RandomFunctionGenerator()226 R.Accelerator = As<Accelerator>(E(AcceleratorBegin), E(AcceleratorEnd)); in next()242 (AcceleratorEnd == E(AcceleratorEnd)) && in next()
55 z3::expr AcceleratorBegin, AcceleratorEnd; member