#include <vector>
#include <Api/Output/KernelProfilingCounter.h>
#include <KttPlatform.h>
Go to the source code of this file.
Profiling information about a kernel run under specific configuration.