code wiki / _hdl_build / _pe_peerwire_fsm_test.nx
_pe_peerwire_fsm_test.nx source
↩ module page · 20 lines · 568 B
1// AUTHORED BY THE NISHI BUILDER (pattern: STATE_MACHINE test) -- KATs computed from the table at emit time
2import "_pe_peerwire_fsm.nx"
3import "nx_syscalls.nx"
4func main() -> i64 {
5 let ev: *i64 = sys_mmap(128) as *i64
6 ev[0] = 0
7 ev[1] = 0
8 ev[2] = 0
9 ev[3] = 0
10 ev[4] = 0
11 ev[5] = 0
12 ev[6] = 0
13 ev[7] = 0
14 if _pe_peerwire_fsm_run(ev, 8, 0) == 1 {
15 if _pe_peerwire_fsm_step(0, 6) == 0 - 1 {
16 if _pe_peerwire_fsm_step(6, 0) == 0 - 1 {
17 if _pe_peerwire_fsm_run(ev, 8, 0) == 1 { sys_exit(0) } } } }
18 sys_exit(1)
19 return 1
20}