Unit-test launch_resolve() in dns.c