nx_uv_precision_witness_t280.nx
buildroot/runtime/nx_uv_precision_witness_t280.nx
dependencies 3 imports · 0 importers
imports: nx_nxa_corner_checkpoint_candidate_t280.nxnx_uv_gram_solver_candidate_t280.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 4 | const UP_HEADER:i64=32 |
| 5 | const UP_ROW:i64=10 |
| 6 | const UP_TRIROW:i64=9 |
functions
| 7 | func up_num(s:*u8)->i64{var n:i64=0;var i:i64=0;if s[0]==(0 as u8){return 0-1};while s[i]!=(0 as u8){let d:i64=(s[i] as i64)-48;if d<0{return 0-1};if d>9{return 0-1};if n>(NCP_MAX-d)/10{return 0-1};n=n*10+d;i=i+1};return n} called by 1: main |
| 8 | func up_time(clock:*i64)->i64{sys_clock_gettime_mono(clock);return clock[0]*1000000+clock[1]/1000} called by 1: main |
| 9 | func main(argc:i64,argv:*i64)->i64 |