#include #include static void test_gai0(void *arg) { (void)arg; struct addrinfo *res = NULL; int rc = machine_getaddrinfo("localhost", "http", NULL, &res, UINT32_MAX); if (rc < 0) { printf("failed to resolve address\n"); } else { test(res != NULL); if (res) freeaddrinfo(res); } } static void test_gai1(void *arg) { (void)arg; struct addrinfo *res = NULL; int rc = machine_getaddrinfo("localhost", "http", NULL, &res, UINT32_MAX); if (rc < 0) { printf("failed to resolve address\n"); } else { test(res != NULL); if (res) freeaddrinfo(res); } } static void test_gai(void *arg) { (void)arg; int rc; rc = machine_coroutine_create(test_gai0, NULL); test(rc != -1); rc = machine_coroutine_create(test_gai1, NULL); test(rc != -1); } void machinarium_test_getaddrinfo1(void) { machinarium_init(); int id; id = machine_create("test", test_gai, NULL); test(id != -1); int rc; rc = machine_wait(id); test(rc != -1); machinarium_free(); }