nx_websocket_handshake_test.nx
buildroot/runtime/nx_websocket_handshake_test.nx
about
nx_websocket_handshake_test.nx -- KAT for ws_accept (RFC 6455 §1.3 + §4.2.2).
Promotes the inline main() invariant in nx_websocket_handshake.nx
to a formal regression gate. Adds extra cases to cover the
invariants documented at WH1 + WH2.
Canonical RFC 6455 §1.3 worked example:
Sec-WebSocket-Key: dGhlIHNhbXBsZSBub25jZQ==
Sec-WebSocket-Accept: s3pPLMBiTxaQ9kYGzzhZRbK+xOo=
expect_exit: 0
license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_websocket_handshake.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
| 17 | func _bytes_eq(a: *u8, b: *u8, n: i64) -> i64 called by 1: main |
| 26 | func main() -> i64 |