code wiki / (root) / nx_http_redirect_test.nx

nx_http_redirect_test.nx

buildroot/runtime/nx_http_redirect_test.nx

6256 B140 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic http
docsdependenciesstructsconstsfunctions

about

nx_http_redirect_test.nx -- smoke for 3xx redirect emitter. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_http_redirect.nx nx_http_redirect_test.nx

imports: nx_syscalls_x86_64.nxnx_http_redirect.nx

imported by: nobody (leaf or entry point)

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

main nxr_kind_is_valid nxr_verdict_is_valid nxr_kind_status_code nxr_kind_is_permanent bytes_eq nxr_kind_reason nxr_location_is_safe nx_http_emit_redirect_to_h nxr_location_is_safe ↻

structs

none

consts

none

functions

10func bytes_eq(a: *u8, b: *u8, n: i64) -> i64
called by 2: bytes_containsmain
19func bytes_contains(haystack: *u8, h_n: i64, needle: *u8, n_n: i64) -> i64
calls 1: bytes_eq
29func main() -> i64
calls 8: nxr_kind_is_validnxr_verdict_is_validnxr_kind_status_codenxr_kind_is_permanentbytes_eqnxr_kind_reason+2