code wiki / _hdl_build / nx_eng_repro_extend_gate.nx
nx_eng_repro_extend_gate.nx source
↩ module page · 11 lines · 567 B
1// EMITTED by nx_engineer_reproduce -- applies extend-not-copy (base + a raised bar). license_tier: ORIGINAL
2import "nx_syscalls.nx"
3func base_ok(score: i64) -> i64 { if score >= 2 { return 1 } return 0 }
4func ext_ok(score: i64, hw: i64, proven: i64) -> i64 { if base_ok(score) == 0 { return 0 } if hw == 1 { if proven == 0 { return 0 } } return 1 }
5func main() -> i64 {
6 let bb: i64 = base_ok(3)
7 let e1: i64 = ext_ok(3, 1, 0)
8 let e2: i64 = ext_ok(3, 0, 0)
9 if bb == 1 { if e1 == 0 { if e2 == 1 { sys_exit(0); return 0 } } }
10 sys_exit(1); return 1
11}