/* Test the `acc_get_property' and '`acc_get_property_string' library
   functions for the host device. */
/* { dg-additional-sources acc_get_property-aux.c } */
/* { dg-do run } */

#include <openacc.h>
#include <stdio.h>

void expect_device_properties (acc_device_t dev_type, int dev_num,
			       size_t expected_memory,
			       const char* expected_vendor,
			       const char* expected_name,
			       const char* expected_driver);

int
main ()
{
  printf ("Checking acc_device_host device properties\n");
  expect_device_properties (acc_device_host, 0, 0, "GNU", "GOMP", "1.0");
}