code wiki / (root) / nx_https_url_for_fetch_test.nx

nx_https_url_for_fetch_test.nx

buildroot/runtime/nx_https_url_for_fetch_test.nx

5169 B121 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic https
docsdependenciesstructsconstsfunctions

about

nx_https_url_for_fetch_test.nx -- KAT for the HTTPS URL parse + scheme validate + default port primitive. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_url.nx nx_https_url_for_fetch.nx nx_https_url_for_fetch_test.nx

imports: nx_syscalls.nxnx_url.nxnx_https_url_for_fetch.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_url_new nx_https_url_for_fetch nx_url_parse strlen _scheme_is_https nx_https_url_verdict_is_va

structs

none

consts

none

functions

12func write_str(buf: *u8, src: *u8, n: i64) -> i64
22func main() -> i64
calls 4: sys_mmapnx_url_newnx_https_url_for_fetchnx_https_url_verdict_is_valid