code wiki / (root) / nx_supervisor_test.nx

nx_supervisor_test.nx

buildroot/runtime/nx_supervisor_test.nx

7616 B156 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_supervisor_test.nx -- state-machine smoke for nx_supervisor. Exercises every transition + the exponential-backoff curve + the healthy-window reset + the escalation gate. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_supervisor.nx nx_supervisor_test.nx

imports: nx_syscalls_x86_64.nxnx_supervisor.nx

imported by: nobody (leaf or entry point)

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

main nx_supervisor_state_is_val nx_supervisor_action_is_va bytes_eq nx_supervisor_state_name nx_supervisor_action_name nx_supervisor_init nx_supervisor_state nx_supervisor_n_restarts nx_supervisor_decide nx_supervisor_record_crash nx_supervisor_backoff_ms nx_supervisor_record_crash ↻ nx_supervisor_record_start nx_supervisor_backoff_ms ↻ nx_supervisor_n_escalation nx_supervisor_terminate

structs

none

consts

none

functions

13func bytes_eq(a: *u8, b: *u8, n: i64) -> i64
called by 1: main
22func main() -> i64
calls 14: nx_supervisor_state_is_validnx_supervisor_action_is_validbytes_eqnx_supervisor_state_namenx_supervisor_action_namenx_supervisor_init+8