code wiki / (root) / nx_u256_test.nx

nx_u256_test.nx

buildroot/runtime/nx_u256_test.nx

5663 B179 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic u256
docsdependenciesstructsconstsfunctions

about

nx_u256_test.nx -- KAT for 256-bit unsigned big-int primitives. Covers load/store byte-order, add/sub carry/borrow propagation across limbs (including all-limb carry), unsigned compare, zero/eq predicates, and aliasing-safety of arithmetic ops. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_u256.nx nx_u256_test.nx

imports: nx_syscalls.nxnx_u256.nx

imported by: nobody (leaf or entry point)

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

main u256_alloc nx_scratch nx_scratch_init sys_mmap nx_scratch_oom sys_write sys_exit sys_mmap ↻ u256_zero u256_is_zero u256_one u256_zero ↻ u256_copy u256_eq sys_mmap ↻ u256_load_be u256_store_be u256_add_with_carry u256_sub_with_borrow u256_cmp

structs

none

consts

none

functions

12func main() -> i64
calls 12: u256_allocu256_zerou256_is_zerou256_oneu256_copyu256_eq+6