code wiki / _hdl_build / _dfl_rtgate_sa_test.nx
_dfl_rtgate_sa_test.nx source
↩ module page · 8 lines · 254 B
1// AUTHORED BY THE NISHI BUILDER (GATE_HARNESS test) -- asserts the round-trip+tamper gate is GREEN
2import "_dfl_rtgate_sa.nx"
3import "nx_syscalls.nx"
4func main() -> i64 {
5 if _dfl_rtgate_sa_check() == 1 { sys_exit(0) }
6 sys_exit(1)
7 return 1
8}