code wiki / (root) / nx_decl_base_test.nx

nx_decl_base_test.nx

buildroot/runtime/nx_decl_base_test.nx

2936 B77 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic decl
docsdependenciesstructsconstsfunctions

about

nx_decl_base_test.nx -- smoke for the shared decl base. Verifies: - modifier validity predicate - modifier name reflection - base init success path (valid modifier) - base init failure path (invalid modifier) - hash_mod determinism + spread expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_types.nx nx_tier.nx nx_decl_base.nx nx_decl_base_test.nx

imports: nx_syscalls.nxnx_types.nxnx_tier.nxnx_decl_base.nx

imported by: nobody (leaf or entry point)

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

main nx_decl_mod_is_valid nx_decl_mod_name nx_decl_base_alloc sys_mmap nx_decl_base_init nx_decl_mod_is_valid ↻ nx_decl_hash_mod sys_write

structs

none

consts

none

functions

19func main() -> nx_int
calls 6: nx_decl_mod_is_validnx_decl_mod_namenx_decl_base_allocnx_decl_base_initnx_decl_hash_modsys_write