nx_bgzf_test.nx
buildroot/runtime/nx_bgzf_test.nx
about
nx_bgzf_test.nx -- KAT for BGZF stored-block writer + EOF marker.
Section A -- nx_bgzf_eof_marker: byte-exact match against the 28-byte
SAMv1 ยง4.1.2 canonical sequence.
Section B -- nx_bgzf_write_stored_block: gzip header / XLEN / BC
extra subfield / DEFLATE BTYPE=00 / payload / CRC32 /
ISIZE for payload "Hi" + length-0 + reject paths.
Section C -- round-trip: feed the written block back through
nx_gzip_inflate; verify recovered payload matches.
expect_exit: 0
license_tier: ORIGINAL
dependencies 5 imports · 0 importers
imports: nx_syscalls.nxnx_const.nxnx_bgzf.nxnx_gzip_wrap.nxnx_crc32.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
| 21 | func main() -> i64 |