code wiki / (root) / nx_abortive_test.nx

nx_abortive_test.nx

buildroot/runtime/nx_abortive_test.nx

7596 B161 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_abortive_test.nx -- smoke for nx_abortive.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_abortive.nx nx_abortive_test.nx

imports: nx_syscalls.nxnx_abortive.nx

imported by: nobody (leaf or entry point)

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

main nx_ab_state_is_valid nx_ab_trigger_is_valid nx_ab_state_accepts_work nx_ab_state_is_terminal nx_ab_cell_new sys_mmap nx_ab_transition nx_ab_state_is_valid ↻ nx_ab_trigger_is_valid ↻ _ab_transition_allowed _ab_transition_requires_op _ab_trigger_is_emergency nx_ab_germline_invariant_h

structs

none

consts

none

functions

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