code wiki / _hdl_build / nx_eng_repro_liarkill_gate.nx
nx_eng_repro_liarkill_gate.nx source
↩ module page · 13 lines · 488 B
1// EMITTED by nx_engineer_reproduce -- applies gate-with-liar-kill. license_tier: ORIGINAL
2import "nx_syscalls.nx"
3func main() -> i64 {
4 let data: *i64 = sys_mmap(24) as *i64
5 data[0]=1; data[1]=1; data[2]=1
6 var v: i64 = 1; var i: i64 = 0
7 while i < 3 { if data[i] != 1 { v = 0 } i = i + 1 }
8 data[1] = 0
9 var v2: i64 = 1; i = 0
10 while i < 3 { if data[i] != 1 { v2 = 0 } i = i + 1 }
11 if v == 1 { if v2 == 0 { sys_exit(0); return 0 } }
12 sys_exit(1); return 1
13}