nx_tls13_server_session_emit_certificate_test.nx
buildroot/runtime/nx_tls13_server_session_emit_certificate_test.nx
about
Smoke for emit_certificate: wraps caller-supplied DER bytes as
a TLS Certificate message + AEAD record.
Closed-form invariants:
(a) Wrong state -> negative
(b) Null cert bytes -> negative
(c) Zero cert length -> negative
(d) Valid 64-byte synthetic DER -> succeeds; output 0x17 header
(e) server_seq increments
(f) State stays CERT_SENT (next is emit_cv)
(g) emit_cv still works after emit_certificate (full chain)
expect_exit: 0
license_tier: ORIGINAL
dependencies 13 imports · 0 importers
diagram shows first 10 each side; +3 more imports, +0 more importers in the complete lists below.
imports: nx_syscalls.nxnx_x25519.nxnx_x25519_ephemeral.nxnx_tls13.nxnx_tls13_hello.nxnx_tls13_server_session.nxnx_tls13_server_session_recv_ch.nxnx_tls13_server_session_emit_sh.nxnx_tls13_server_session_derive_hs.nxnx_tls13_server_session_derive_traffic.nxnx_tls13_server_session_emit_ee.nxnx_tls13_server_session_emit_certificate.nxnx_tls13_server_session_emit_cv.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
| 30 | func main() -> i64 |