code wiki / (root) / nx_abi_lock_test.nx

nx_abi_lock_test.nx

buildroot/runtime/nx_abi_lock_test.nx

2222 B65 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_abi_lock_test.nx -- smoke: seal two identical manifests, verify UNCHANGED.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_sha256.nx nx_abi_lock.nx nx_abi_lock_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_sha256.nxnx_abi_lock.nx

imported by: nobody (leaf or entry point)

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

main _make_manifest sys_mmap nx_abi_lock_seal sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word sha256_final blk_set_byte ↻ sha256_compress ↻ nx_abi_lock_compare nx_abi_upgrade_is_safe nx_abi_verdict_is_valid

structs

none

consts

none

functions

11func _make_manifest() -> *AbiManifest {
called by 1: main calls 2: sys_mmapnx_abi_lock_seal
46func main() -> nx_int {
calls 4: _make_manifestnx_abi_lock_comparenx_abi_upgrade_is_safenx_abi_verdict_is_valid