1 /* Test the `acc_get_property' and '`acc_get_property_string' library
2 functions for the host device. */
3 /* { dg-additional-sources acc_get_property-aux.c } */
9 void expect_device_properties (acc_device_t dev_type
, int dev_num
,
10 size_t expected_memory
,
11 const char* expected_vendor
,
12 const char* expected_name
,
13 const char* expected_driver
);
18 printf ("Checking acc_device_host device properties\n");
19 expect_device_properties (acc_device_host
, 0, 0, "GNU", "GOMP", "1.0");