code wiki / (root) / nx_doc_decision_test.nx

nx_doc_decision_test.nx

buildroot/runtime/nx_doc_decision_test.nx

3688 B84 linesdepth 7pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic doc
docsdependenciesstructsconstsfunctions

about

nx_doc_decision_test.nx -- KAT for D20 ADR-shape primitive.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_string_ops.nx nx_doc_decision.nx nx_doc_decision_test.nx

imports: nx_syscalls.nxnx_string_ops.nxnx_doc_decision.nx

imported by: nobody (leaf or entry point)

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

main nx_decision_status_is_vali sys_mmap nx_decision_record_init nx_decision_record_complet nx_decision_status_is_vali ↻ nx_str_equals nx_decision_status_name nx_decision_record_emit nx_decision_record_complet ↻ sys_write sys_mmap ↻ nx_str_format_int nx_decision_status_name ↻ nx_str_len _docdec_write_section sys_write ↻

structs

none

consts

none

functions

7func main() -> i64
calls 7: nx_decision_status_is_validsys_mmapnx_decision_record_initnx_decision_record_completenessnx_str_equalsnx_decision_status_name+1