t27c on memory.t27 -- the memory map, native
t27c test-report on the memory spec: 15 tests pass natively and 6 invariants are proved comptime -- address decode, wait states and access sizes.
t27c test-report specs/fpga/memory.t27 --specs-dir specs
files $ t27c test-report specs/fpga/memory.t27 --specs-dir specs
--- test report: specs/fpga/memory.t27 ---
tests 15
pass 15
FAIL 0
invariants 6 proved -- comptime, so compiling IS the check
rate 100.0%
runtime asserts executed, per test (#6509; a pass with 0 is vacuous, T730):
1 empty_mem_has_no_ports
3 make_bram_has_depth
1 make_bram_small
1 make_bram_single
3 add_read_port_increments
3 add_write_port_increments
3 add_rw_port
2 is_rom
1 total_bits
1 bram18_count_small
1 bram18_count_large
1 validate_ok
1 validate_empty_name
1 validate_zero_depth
1 rom_with_write_port_invalid
vacuous passes 0 of 15 (passed with 0 runtime asserts executed)
files $ recorded 2026-10-08 00:11 UTC real 7.1 s shown 6.1 s exit codes 0
$ t27c test-report specs/fpga/memory.t27 --specs-dir specs
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
