code wiki / (root) / nx_lysis_test.nx

nx_lysis_test.nx

buildroot/runtime/nx_lysis_test.nx

3928 B89 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_lysis_test.nx -- smoke for nx_lysis.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_attention_class.nx nx_evict_journal.nx nx_lysis.nx nx_lysis_test.nx

imports: nx_syscalls.nxnx_attention_class.nxnx_evict_journal.nxnx_lysis.nx

imported by: nobody (leaf or entry point)

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

main nx_lysis_mechanism_is_vali nx_lysis_severity_is_valid nx_lysis_is_reversible nx_lysis_is_host_tolerant nx_lysis_requires_operator nx_lysis_select nx_lysis_severity_is_valid ↻ nx_lysis_emit nx_lysis_mechanism_is_vali ↻ nx_lysis_severity_is_valid ↻ nx_lysis_is_host_tolerant ↻ sys_mmap nx_lysis_is_reversible ↻ nx_lysis_requires_operator ↻ nx_evict_journal_new sys_mmap ↻ nx_lysis_log nx_evict_log nx_evr_is_valid

structs

none

consts

none

functions

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