nx_tls13_read_record_from_fd_test.nx
buildroot/runtime/nx_tls13_read_record_from_fd_test.nx
about
nx_tls13_read_record_from_fd_test.nx -- KAT for the TLS record
reader from fd.
Note on test scope: sys_pipe2 in qemu-riscv64-static is
unreliable for round-trip IO (the existing nx_objdump primitive's
preamble documents this with a graceful-fallback comment). This
KAT therefore exercises:
- bounds-check paths (out_cap too small for header / payload)
- read-failure path (bad fd -> sys_read negative -> READ_ERR
or EOF depending on platform)
- verdict gate
The full byte-exact round-trip is exercised live by Arc A's
end-to-end demo against a real TLS server (queued).
expect_exit: 0
license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_tls13_read_record_from_fd.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 22 | func main() -> i64 |