code wiki / _hdl_build / nx_logscan_coverage_test.nx
nx_logscan_coverage_test.nx source
↩ module page · 11 lines · 410 B
1// AUTHORED BY THE NISHI BUILDER (PERMIL_VERDICT test) -- KATs computed from the table at emit time
2import "nx_logscan_coverage.nx"
3import "nx_syscalls.nx"
4func main() -> i64 {
5 if nx_logscan_coverage_verdict(10) == 2 {
6 if nx_logscan_coverage_verdict(0) == 0 {
7 if nx_logscan_coverage_verdict(5) == 0 {
8 if nx_logscan_coverage_verdict(10) == 2 { sys_exit(0) } } } }
9 sys_exit(1)
10 return 1
11}