t27c on fifo.t27 -- the FIFO stdlib, native
t27c 0.4.0 on a laptop (macOS): 18 tests of the FIFO spec pass natively, 6 invariants comptime -- push and pop state, flags, BRAM count.
t27c on fifo.t27 -- the FIFO stdlib, native
files $ t27c test-report specs/fpga/fifo.t27 --specs-dir specs
--- test report: specs/fpga/fifo.t27 ---
tests 18
pass 18
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):
2 sync_fifo_is_sync
2 async_fifo_is_async
1 addr_width_16
1 addr_width_256
1 total_storage_bits
1 bram18_small
5 empty_state_is_empty
2 push_increments_fill
2 push_to_full
1 push_on_full_noop
2 pop_decrements_fill
1 pop_on_empty_noop
3 push_pop_roundtrip
2 with_almost_empty
2 with_almost_full
1 validate_ok
1 validate_empty_name
1 validate_zero_depth
vacuous passes 0 of 18 (passed with 0 runtime asserts executed)
files $ recorded 2026-10-07 17:36 UTC real 8.7 s shown 8.6 s exit codes 0 0
$ t27c --version
$ t27c test-report specs/fpga/fifo.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
