nx_build_place_test.nx source
↩ module page · 57 lines · 2992 B
1// nx_build_place_test.nx -- KAT gate for the build-and-place board emitter.
2// Verifies the interactive machinery is present; saves /tmp/build.html. expect_exit: 0.
3
4import "nx_syscalls.nx"
5import "nx_build_place.nx"
6
7func w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
8func wn(v: i64) -> i64 {
9 let b: *u8 = sys_mmap(28); var m: i64 = v
10 if m < 0 { m = 0 - m; sys_write(1, "-" as *u8, 1) }
11 let t: *u8 = sys_mmap(28); var k: i64 = 0
12 if m == 0 { t[0] = 48 as u8; k = 1 }
13 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
14 var i: i64 = 0; while i < k { b[i] = t[k - 1 - i]; i = i + 1 }
15 sys_write(1, b, k); return 0
16}
17func contains(hay: *u8, hn: i64, ndl: *u8) -> i64 {
18 var m: i64 = 0; while ndl[m] != (0 as u8) { m = m + 1 }
19 if m == 0 { return 1 }
20 var i: i64 = 0
21 while i + m <= hn { var j: i64 = 0; var ok: i64 = 1; while j < m { if hay[i + j] != ndl[j] { ok = 0; j = m } else { j = j + 1 } } if ok == 1 { return 1 } i = i + 1 }
22 return 0
23}
24func chk(cond: i64, pass: *i64, fail: *i64, label: *u8) -> i64 {
25 if cond == 1 { pass[0] = pass[0] + 1; w(" ok " as *u8); w(label); w("\n" as *u8) }
26 else { fail[0] = fail[0] + 1; w(" XX " as *u8); w(label); w("\n" as *u8) }
27 return 0
28}
29
30func main() -> i64 {
31 let pass: *i64 = (sys_mmap(8)) as *i64
32 let fail: *i64 = (sys_mmap(8)) as *i64
33 pass[0] = 0
34 fail[0] = 0
35 w("=== nx_build_place KAT (interactive build-and-place board) ===\n" as *u8)
36 let out: *u8 = sys_mmap(65536)
37 let len: i64 = nx_build_place_page(out, 65536)
38 w(" page bytes=" as *u8); wn(len); w("\n" as *u8)
39 chk(len > 1500, pass, fail, "page non-trivial" as *u8)
40 chk(contains(out, len, "<canvas id=c" as *u8) == 1, pass, fail, "canvas present" as *u8)
41 chk(contains(out, len, "onclick=sel('F')" as *u8) == 1, pass, fail, "Factory palette button" as *u8)
42 chk(contains(out, len, "onclick=sel('S')" as *u8) == 1, pass, fail, "Store palette button" as *u8)
43 chk(contains(out, len, "Bulldoze" as *u8) == 1, pass, fail, "Bulldoze button" as *u8)
44 chk(contains(out, len, "function dFactory" as *u8) == 1, pass, fail, "factory sprite drawer" as *u8)
45 chk(contains(out, len, "function dStore" as *u8) == 1, pass, fail, "store sprite drawer" as *u8)
46 chk(contains(out, len, ".onclick=function" as *u8) == 1, pass, fail, "click-to-place handler" as *u8)
47 chk(contains(out, len, "grid[k]=" as *u8) == 1, pass, fail, "places into grid state" as *u8)
48 chk(contains(out, len, "Factories: " as *u8) == 1, pass, fail, "live counts" as *u8)
49
50 let wr: i64 = nx_build_place_save("/tmp/build.html" as *u8)
51 w(" wrote /tmp/build.html bytes=" as *u8); wn(wr); w("\n" as *u8)
52 chk(wr == len, pass, fail, "/tmp/build.html saved (click cells to place!)" as *u8)
53
54 w("=== VERDICT pass=" as *u8); wn(pass[0]); w(" fail=" as *u8); wn(fail[0]); w(" ===\n" as *u8)
55 if fail[0] == 0 { return 0 }
56 return 1
57}