nx_forge_run.nx source
↩ module page · 24 lines · 717 B
1// nx_forge_run.nx -- CLI for the F3 forge driver core (nx_forge.nx).
2// Usage: nx_forge_run [task.spec] (default: knowledge/forge/ftask_demo.spec)
3// Exit 0 iff the task went GREEN (byte-exact, ban-clean, within the repair bound).
4// license_tier: ORIGINAL expect_exit: 0
5import "nx_forge.nx"
6
7func main(argc: i64, argv: *i64) -> i64 {
8 var spec: *u8 = "knowledge/forge/ftask_demo.spec" as *u8
9 if argc >= 2 {
10 let a1: i64 = argv[1]
11 spec = a1 as *u8
12 }
13 let r: i64 = fg_run(spec)
14 std_puts("FORGE-RUN rc=" as *u8)
15 std_pdec(r)
16 if r > 0 {
17 std_putln(" GREEN" as *u8)
18 sys_exit(0)
19 return 0
20 }
21 std_putln(" RED" as *u8)
22 sys_exit(1)
23 return 1
24}