code wiki / (root) / _nx_loop_v2_oracle.nx

_nx_loop_v2_oracle.nx

buildroot/runtime/_nx_loop_v2_oracle.nx

2958 B82 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind tooltopic nx
docsdependenciesstructsconstsfunctions

about

_nx_loop_v2_oracle.nx -- correctness oracle for the V2 frame-based loop primitive (nx_loop_begin/step/break/finish + watchdog). 8 oracles cover NORMAL, BOUND_EXHAUSTED, TIMED_OUT, STALLED + edge cases (max_iters=0, break-on-first-step, progress reset).

dependencies 3 imports · 0 importers

syscalls.nx nx_loop.nx nx_clock.nx _nx_loop_v2_oracle.nx

imports: syscalls.nxnx_loop.nxnx_clock.nx

imported by: nobody (leaf or entry point)

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

main nx_loop_begin sys_mmap nx_loop_step nx_clock_monotonic_ns sys_mmap ↻ sys_clock_gettime_mono nx_loop_break nx_loop_finish nx_loop_break_with nx_loop_begin_watchdog nx_loop_begin ↻ nx_clock_monotonic_ns ↻ nx_loop_mark_progress nx_loop_was_normal

structs

none

consts

none

functions

11func main() -> i64
calls 8: nx_loop_beginnx_loop_stepnx_loop_breaknx_loop_finishnx_loop_break_withnx_loop_begin_watchdog+2