code wiki / (root) / nx_friend_video_caller_test.nx

nx_friend_video_caller_test.nx

buildroot/runtime/nx_friend_video_caller_test.nx

3462 B93 linesdepth 6pulls 13 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_friend_video_caller_test.nx -- KAT for nx_friend envelopes + JSON-type extractor. Live-network behaviour (dance against the production nx_signaling daemon) is covered by the deploy bench at bench/ops/nx_friend_video_caller_deploy.sh -- this file verifies the bits-up offline-checkable invariants. Covers: T1 hello envelope length > 0 and parses to kind=1 T2 offer envelope length > 0 and parses to kind=2 T3 answer envelope length > 0 and parses to kind=3 T4 ice envelope length > 0 and parses to kind=4 T5 envelope-type extractor returns 0 on malformed payload T6 envelope-type extractor tolerates whitespace around the colon T7 sealed-enum verdict-range check T8 IPv4 sockaddr_in builder writes the correct byte layout expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_friend_video_caller.nx nx_friend_video_caller_test.nx

imports: nx_syscalls.nxnx_friend_video_caller.nx

imported by: nobody (leaf or entry point)

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

main nx_friend_hello_bytes nx_friend_hello_len _friend_strlen nx_friend_hello_bytes ↻ _t_strlen nx_friend_envelope_type nx_friend_offer_bytes nx_friend_offer_len _friend_strlen ↻ nx_friend_offer_bytes ↻ nx_friend_answer_bytes nx_friend_answer_len _friend_strlen ↻ nx_friend_answer_bytes ↻ nx_friend_ice_bytes nx_friend_ice_len _friend_strlen ↻ nx_friend_ice_bytes ↻ nx_friend_verdict_is_valid sys_mmap _friend_build_sockaddr sys_write

structs

none

consts

none

functions

23func _t_strlen(s: *u8) -> i64
called by 1: main
29func main() -> i64