code wiki / (root) / nx_checkpoint_test.nx

nx_checkpoint_test.nx

buildroot/runtime/nx_checkpoint_test.nx

1576 B43 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_checkpoint_test.nx -- smoke for atomic resumable checkpoint.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_checkpoint.nx nx_checkpoint_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_checkpoint.nx

imported by: nobody (leaf or entry point)

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

main nx_checkpoint_open sys_mmap nx_str_cpy nx_ckpt_make_tmp nx_str_cpy ↻ nx_str_len sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close nx_ckpt_parse_i64 nx_checkpoint_set sys_mmap ↻ nx_strconv_format_i64 sys_write sys_close ↻ nx_checkpoint_close nx_checkpoint_get nx_checkpoint_is_fresh nx_checkpoint_n_writes nx_checkpoint_n_write_fail

structs

none

consts

none

functions

7func main() -> nx_exit
calls 7: nx_checkpoint_opennx_checkpoint_setnx_checkpoint_closenx_checkpoint_getnx_checkpoint_is_freshnx_checkpoint_n_writes+1