code wiki / _hdl_build / nx_collusion_guard_gate.nx

nx_collusion_guard_gate.nx

buildroot/runtime/_hdl_build/nx_collusion_guard_gate.nx

9301 B172 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

dependencies 3 imports · 0 importers

nx_gate_gn.nx nx_gate_base.nx nx_syscalls.nx nx_collusion_guard_gate.nx

imports: nx_gate_gn.nxnx_gate_base.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main gw sys_write sys_mmap c_shapes sys_mmap ↻ c_add sys_mmap ↻ c_in gn c_seteq c_in ↻ c_in ↻ sys_exit

structs

none

consts

13const C_NPROBE: i64 = 4
14const C_MAXOPS: i64 = 8
15const C_MAXSET: i64 = 64

functions

19func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw("
calls 1: gw
21func c_in(sigs: *i64, n: i64, cand: *i64, w: i64) -> i64
33func c_add(cops: *i64, cargs: *i64, clen: i64, Fshape: *i64, nF: i64, outset: *i64, cnt: i64) -> i64
59func c_shapes(fo: *i64, fa: *i64, fl: *i64, nF: i64, Fshape: *i64, kind: i64, param: i64, outset: *i64) -> i64
92func c_seteq(A: *i64, ca: i64, B: *i64, cb: i64) -> i64
103func main(argc: i64, argv: *i64) -> i64