code wiki / (root) / nx_dns_resolve_a_record_live_test.nx

nx_dns_resolve_a_record_live_test.nx

buildroot/runtime/nx_dns_resolve_a_record_live_test.nx

1671 B44 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic dns
docsdependenciesstructsconstsfunctions

about

nx_dns_resolve_a_record_live_test.nx -- LIVE-FIRE KAT for the wired-up DNS A-record resolver. Queries Cloudflare 1.1.1.1 for "example.com" and asserts a non-zero IPv4 is returned. Closes the 6-step stub gap that previously left the wire-up as comments only. The substrate's DNS layer is now load- bearing against real DNS servers. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_dns_resolve_a_record.nx nx_dns_resolve_a_record_live_t

imports: nx_syscalls.nxnx_dns_resolve_a_record.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap nx_dns_resolve_default nx_dns_resolve_with_failov nx_dns_resolve_a_record sys_mmap ↻ nx_dns_build_query nx_dns_put_u16_be nx_dns_encode_name sys_socket sys_set_socket_timeout sys_mmap ↻ sys_setsockopt sys_munmap sys_sendto sys_close sys_recvfrom nx_dns_parse_response_a nx_dns_get_u16_be nx_dns_skip_name sys_write

structs

none

consts

none

functions

15func main() -> i64