code wiki / (root) / nx_corolla_test.nx

nx_corolla_test.nx

buildroot/runtime/nx_corolla_test.nx

6104 B119 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_corolla_test.nx -- smoke for nx_corolla.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_corolla.nx nx_corolla_test.nx

imports: nx_syscalls.nxnx_corolla.nx

imported by: nobody (leaf or entry point)

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

main nx_co_axis_is_valid nx_co_src_is_valid nx_co_v_is_valid nx_co_src_is_human nx_co_new sys_mmap nx_co_record nx_co_axis_is_valid ↻ nx_co_src_is_valid ↻ nx_co_classify nx_co_axis_is_valid ↻ nx_co_human_reading_count _co_reading_at nx_co_src_is_human ↻ nx_co_mean_q10_human_only _co_reading_at ↻ nx_co_src_is_human ↻ nx_co_mean_q10_by_axis _co_reading_at ↻ nx_co_mean_q10_by_axis ↻ nx_co_mean_q10_human_only ↻ nx_co_human_reading_count ↻

structs

none

consts

none

functions

6func main() -> i64
calls 10: nx_co_axis_is_validnx_co_src_is_validnx_co_v_is_validnx_co_src_is_humannx_co_newnx_co_record+4