code wiki / (root) / memcap_violation_test.nx

memcap_violation_test.nx

buildroot/runtime/memcap_violation_test.nx

560 B17 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

memcap_violation_test.nx -- the FAIL path of bounds-check. Exercises memcap_load_i64's assert firing when the load is out of bounds. Paired with memcap.nx's success-path self-test. Expected exit 200 (nx_assert failure). expect_exit: 200

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_memcap.nx memcap_violation_test.nx

imports: nx_syscalls.nxnx_memcap.nx

imported by: nobody (leaf or entry point)

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

main memcap_alloc sys_mmap memcap_new sys_mmap ↻ memcap_load_i64 nx_assert sys_write nx_puts_err sys_write ↻ memcap_can_read memcap_valid

structs

none

consts

none

functions

11func main() -> i64 {