code wiki / _hdl_build / nx_multiround_test.nx
nx_multiround_test.nx
buildroot/runtime/_hdl_build/nx_multiround_test.nx
about
nx_multiround_test.nx -- CRUX proof for the network-in-the-loop rung: after js_pending_service settles a
fetch's promise and el_drain runs the microtasks, does the .then continuation FIRE (and issue its own next
fetch)? If yes, round-1 pending gains the second URL -> the multi-round network sniff is buildable.
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_js_eval.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 7 | func cw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 8 | func tslen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } |
| 10 | func dump_pending(genv: *i64, ub: *u8) -> i64 |
| 25 | func main() -> i64 |