code wiki / (root) / nx_flow_state_test.nx

nx_flow_state_test.nx

buildroot/runtime/nx_flow_state_test.nx

8555 B248 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_flow_state_test.nx -- KAT for F1 flow classifier.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_etg.nx nx_flow_state.nx nx_flow_state_test.nx

imports: nx_syscalls.nxnx_etg.nxnx_flow_state.nx

imported by: nobody (leaf or entry point)

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

main nx_flow_state_is_valid sys_mmap nx_flow_state_init nx_flow_classify _flow_has_cardinal_violati _flow_count_met _flow_count_unsignaled nx_flow_attest nx_etg_entry_init nx_etg_probe_is_valid nx_etg_claim_is_valid nx_etg_outcome_is_valid nx_etg_outcome_implies_rec nx_etg_attestation_hash sys_mmap ↻ fnv1a

structs

none

consts

none

functions

7func main() -> i64
calls 5: nx_flow_state_is_validsys_mmapnx_flow_state_initnx_flow_classifynx_flow_attest