t27c on wukong_v1.t27 -- the board spec, native
t27c 0.4.0 on a laptop (macOS): 15 tests of the Wukong board spec pass natively and 11 invariants are proved comptime; the part line names the xc7a200tfgg676 the board carries.
t27c on wukong_v1.t27 -- the board spec, native
t27c 0.4.0
files $ t27c test-report specs/boards/wukong_v1.t27 --specs-dir specs
--- test report: specs/boards/wukong_v1.t27 ---
tests 15
pass 15
FAIL 0
invariants 11 proved -- comptime, so compiling IS the check
rate 100.0%
runtime asserts executed, per test (#6509; a pass with 0 is vacuous, T730):
0 idcode_is_the_two_hundred_t VACUOUS
0 flash_is_one_twenty_eight_mbit VACUOUS
0 flash_bytes_follow_from_mbit VACUOUS
1 weights_do_not_fit_flash
1 flash_shortfall_is_twenty_seven_fold
0 dram_capacity_is_not_measured VACUOUS
1 dram_fit_refuses_to_answer
1 largest_tensor_exceeds_bram
1 kv_for_one_k_context
1 comb_returns_flash_bytes
1 comb_returns_lut_total
1 die_one_four_is_in_range
1 die_one_six_is_in_range
1 die_one_eight_is_in_range
1 a_frequency_below_the_envelope_is_rejected
vacuous passes 4 of 15 (passed with 0 runtime asserts executed)
files $ grep -n 'xc7a200tfgg676' specs/boards/wukong_v1.t27
45: const FPGA_PART : &str = "xc7a200tfgg676-1";
files $ recorded 2026-10-07 17:34 UTC real 13.0 s shown 12.7 s exit codes 0 0 0
$ t27c --version
$ t27c test-report specs/boards/wukong_v1.t27 --specs-dir specs
$ grep -n 'xc7a200tfgg676' specs/boards/wukong_v1.t27
Staged: the prompt and the typing. Real: every byte the commands printed, at the time they printed it. Any silence longer than 2 s is shown for 2 s, and the title bar says so while it happens. Edited: home directory shown as ~.
Trinity S³AI
