code wiki / (root) / nx_doc_incumbent_test.nx

nx_doc_incumbent_test.nx

buildroot/runtime/nx_doc_incumbent_test.nx

4669 B108 linesdepth 7pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic doc
docsdependenciesstructsconstsfunctions

about

nx_doc_incumbent_test.nx -- KAT for D21+D22 primitives.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_string_ops.nx nx_doc_incumbent.nx nx_doc_incumbent_test.nx

imports: nx_syscalls.nxnx_string_ops.nxnx_doc_incumbent.nx

imported by: nobody (leaf or entry point)

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

main nx_provenance_is_valid nx_provenance_is_substrate nx_pclass_is_valid nx_str_equals nx_pclass_name sys_mmap nx_incumbent_row_init nx_provenance_is_valid ↻ nx_incumbent_table_init nx_pclass_is_valid ↻ nx_provenance_is_valid ↻ nx_incumbent_gap_pct_q14 nx_incumbent_table_set_row nx_incumbent_table_emit nx_pclass_is_valid ↻ sys_write nx_pclass_name ↻ nx_str_len _docincu_write_int sys_mmap ↻ nx_str_format_int sys_write ↻ nx_provenance_name nx_incumbent_gap_pct_q14 ↻

structs

none

consts

none

functions

7func main() -> i64
calls 11: nx_provenance_is_validnx_provenance_is_substrate_measurednx_pclass_is_validnx_str_equalsnx_pclass_namesys_mmap+5