code wiki / (root) / nx_print_response_test.nx

nx_print_response_test.nx

buildroot/runtime/nx_print_response_test.nx

4629 B121 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic print
docsdependenciesstructsconstsfunctions

about

nx_print_response_test.nx -- exercise the response-mapper + pause/cancel request builders. Closed-form invariants: (a) NONE -> NONE response, no bytes written (b) STUCK / FLOW / RUNAWAY / BED / HOTEND / RUNOUT -> PAUSE (c) CHAMBER -> NOTIFY (no bytes written) (d) Z_BACKWARD / LAYER_SHIFT -> HARD_STOP (cancel) (e) Built pause request contains "POST /printer/print/pause" (f) Built cancel request contains "POST /printer/print/cancel" (g) Built request contains Host header + Content-Length: 0 (h) Buffer overflow returns -1 expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_print_runtime_monitor.nx nx_print_response.nx nx_print_response_test.nx

imports: nx_syscalls.nxnx_print_runtime_monitor.nxnx_print_response.nx

imported by: nobody (leaf or entry point)

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

main nx_print_response_for_issu sys_mmap nx_print_build_pause_reque nx_mr_build_post_request nx_mr_write_cstr nx_mr_write_bytes nx_mr_write_int contains_substring nx_print_build_cancel_requ nx_mr_build_post_request ↻ nx_print_build_response_fo nx_print_response_for_issu ↻ nx_print_build_pause_reque ↻ nx_print_build_cancel_requ ↻

structs

none

consts

none

functions

22func contains_substring(hay: *u8, hay_len: i64, needle: *u8) -> i64
called by 1: main
40func main() -> i64
calls 6: nx_print_response_for_issuesys_mmapnx_print_build_pause_requestcontains_substringnx_print_build_cancel_requestnx_print_build_response_for_issue