code wiki / (root) / nx_xenocell_test.nx

nx_xenocell_test.nx

buildroot/runtime/nx_xenocell_test.nx

3783 B100 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_xenocell_test.nx -- smoke for nx_xenocell.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_attention_class.nx nx_evict_journal.nx nx_xenocell.nx nx_xenocell_test.nx

imports: nx_syscalls.nxnx_attention_class.nxnx_evict_journal.nxnx_xenocell.nx

imported by: nobody (leaf or entry point)

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

main nx_intr_is_valid nx_obs_is_valid sys_mmap nx_xenocell_new sys_mmap ↻ nx_xenocell_is_hostile_now nx_xenocell_update nx_xenocell_record nx_obs_is_valid ↻ nx_intr_is_valid ↻ _xenocell_obs_at nx_xenocell_count_by_kind _xenocell_obs_at ↻ nx_xenocell_evidence_count

structs

none

consts

none

functions

8func main() -> i64
calls 9: nx_intr_is_validnx_obs_is_validsys_mmapnx_xenocell_newnx_xenocell_is_hostile_nownx_xenocell_update+3