code wiki / (root) / nx_crc32c_test.nx

nx_crc32c_test.nx

buildroot/runtime/nx_crc32c_test.nx

2652 B74 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_crc32c_test.nx -- 1:1 KAT for fast table CRC-32C (nx_crc32c.nx). Verifies against (a) the CANONICAL check value 0xE3069283, (b) the bit-by-bit reference over an EXHAUSTIVE length sweep (the table must equal the spec kernel for every input), (c) empty, (d) streaming/ chained, and (e) per-PDU integrity (intact accepted, 1-bit flip rejected). expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_crc32c.nx nx_crc32c_test.nx

imports: nx_crc32c.nx

imported by: nobody (leaf or entry point)

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

main crc32c_build_table sys_mmap crc32c_table crc32c_ref crc32c_begin crc32c_update crc32c_final crc32c_pdu_check crc32c_table ↻

structs

none

consts

none

functions

14func crc32c_ref(bytes: *u8, n: i64) -> i64
called by 1: main
29func main() -> i64