code wiki / _hdl_build / _wb_dose_test.nx
_wb_dose_test.nx source
↩ module page · 10 lines · 307 B
1// AUTHORED BY THE NISHI BUILDER (pattern: VERDICT_GATE test) -- real boundary KATs
2import "_wb_dose.nx"
3import "nx_syscalls.nx"
4func main() -> i64 {
5 if _wb_dose_verdict(179) == 0 {
6 if _wb_dose_verdict(205) == 1 {
7 if _wb_dose_verdict(231) == 2 { sys_exit(0) } } }
8 sys_exit(1)
9 return 1
10}