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 } */
       4  /* { dg-do run } */
       5  
       6  #include <openacc.h>
       7  #include <stdio.h>
       8  
       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);
      14  
      15  int
      16  main ()
      17  {
      18    printf ("Checking acc_device_host device properties\n");
      19    expect_device_properties (acc_device_host, 0, 0, "GNU", "GOMP", "1.0");
      20  }