code wiki / _hdl_build / heal_loop_step_test.nx
heal_loop_step_test.nx source
↩ module page · 17 lines · 516 B
1// AUTHORED BY THE NISHI BUILDER (pattern: STATE_MACHINE test) -- KATs computed from the table at emit time
2import "heal_loop_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 ev[3] = 4
10 ev[4] = 5
11 if heal_loop_step_run(ev, 5, 0) == 5 {
12 if heal_loop_step_step(0, 1) == 0 - 1 {
13 if heal_loop_step_step(7, 0) == 0 - 1 {
14 if heal_loop_step_run(ev, 5, 0) == 5 { sys_exit(0) } } } }
15 sys_exit(1)
16 return 1
17}