We report on an extension to the C-Reduce tool, for automatic reduction of C test cases, to
handle OpenCL kernels. This enables an automated method for detecting bugs in OpenCL …