code wiki / _hdl_build / fieldval_step_test.nx

fieldval_step_test.nx source

↩ module page · 15 lines · 483 B

1// AUTHORED BY THE NISHI BUILDER (pattern: STATE_MACHINE test) -- KATs computed from the table at emit time 2import "fieldval_step.nx" 3import "nx_syscalls.nx" 4func main() -> i64 { 5 let ev: *i64 = sys_mmap(128) as *i64 6 ev[0] = 0 7 ev[1] = 1 8 ev[2] = 2 9 if fieldval_step_run(ev, 3, 0) == 3 { 10 if fieldval_step_step(0, 1) == 0 - 1 { 11 if fieldval_step_step(5, 0) == 0 - 1 { 12 if fieldval_step_run(ev, 3, 0) == 3 { sys_exit(0) } } } } 13 sys_exit(1) 14 return 1 15}