#include <omp.h> #include <stdlib.h> int main () { if (omp_get_initial_device () != omp_get_num_devices ()) abort (); return 0; }