code wiki / (root) / nx_fruiting_test.nx

nx_fruiting_test.nx

buildroot/runtime/nx_fruiting_test.nx

6897 B162 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_fruiting_test.nx -- smoke for nx_fruiting.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_fruiting.nx nx_fruiting_test.nx

imports: nx_syscalls.nxnx_fruiting.nx

imported by: nobody (leaf or entry point)

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

main nx_fr_mode_is_valid nx_fb_state_is_valid nx_fr_verdict_is_valid nx_fr_mode_is_broadcast nx_fr_mode_requires_active nx_fb_state_is_serving nx_fb_state_is_terminal nx_fb_new sys_mmap nx_fb_transition nx_fb_state_is_valid ↻ _fb_transition_allowed nx_fb_state_is_terminal ↻ nx_fb_state_is_valid ↻ nx_fb_record_fragment_comp nx_fb_is_complete nx_fb_set_dispersal_budget nx_fb_serve_fragment nx_fb_remaining_budget

structs

none

consts

none

functions

6func main() -> i64
calls 14: nx_fr_mode_is_validnx_fb_state_is_validnx_fr_verdict_is_validnx_fr_mode_is_broadcastnx_fr_mode_requires_active_sendernx_fb_state_is_serving+8