code wiki / (root) / nx_adler32_real_test.nx

nx_adler32_real_test.nx

buildroot/runtime/nx_adler32_real_test.nx

2007 B55 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_adler32_real_test.nx -- isolate whether adler32 OR deflate output is wrong for the 50x50 PNG roundtrip. Setup: build the EXPECTED 7550-byte raw output (50 scanlines, each = 0x00 filter + 50 RGB (200,170,150) triples) in nx. Compute adler32 over it. Expected value per Python: 0xAC61D73E. If nx_adler32 returns 0xAC61D73E -> adler is fine, the bug is in nx_deflate output (it produces subtly wrong bytes somewhere we didn't sample). If it returns something else -> nx_adler32 is the bug.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_adler32.nx nx_adler32_real_test.nx

imports: nx_syscalls.nxnx_adler32.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap adler32

structs

none

consts

none

functions

16func main() -> i64
calls 2: sys_mmapadler32