code wiki / (root) / nx_brane_test.nx

nx_brane_test.nx

buildroot/runtime/nx_brane_test.nx

2845 B67 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_brane_test.nx -- smoke for nx_brane.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_brane.nx nx_brane_test.nx

imports: nx_syscalls.nxnx_brane.nx

imported by: nobody (leaf or entry point)

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

main nx_cap_kind_is_valid nx_brane_new sys_mmap nx_brane_check _brane_at nx_brane_grant nx_cap_kind_is_valid ↻ _brane_at ↻ nx_brane_revoke _brane_at ↻ nx_brane_count_active _brane_at ↻ nx_brane_revoke_all

structs

none

consts

none

functions

6func main() -> i64
calls 7: nx_cap_kind_is_validnx_brane_newnx_brane_checknx_brane_grantnx_brane_revokenx_brane_count_active+1