t27c on mmcm.t27 -- widen the VCO window, one test objects
VCO_MIN_KHZ 800000 to 400000 in one sed: the 500 MHz config the rejection test calls out slides inside the widened window and vco_below_the_window_is_rejected fails; git restores the spec.
t27c on mmcm.t27 -- widen the VCO window, one test objects
files $ t27c test-report specs/fpga/mmcm.t27 --specs-dir specs | sed -n '1,7p'
--- test report: specs/fpga/mmcm.t27 ---
tests 16
pass 16
FAIL 0
invariants 4 proved -- comptime, so compiling IS the check
rate 100.0%
files $ sed -i '' 's/VCO_MIN_KHZ : u32 = 800000/VCO_MIN_KHZ : u32 = 400000/' specs/fpga/mmcm.t27 && git
diff -U0 specs/fpga/mmcm.t27 | tail -n 2
- pub const VCO_MIN_KHZ : u32 = 800000; // 800 MHz, assumption, see header
+ pub const VCO_MIN_KHZ : u32 = 400000; // 800 MHz, assumption, see header
files $ t27c test-report specs/fpga/mmcm.t27 --specs-dir specs | sed -n '1,8p'
--- test report: specs/fpga/mmcm.t27 ---
FAIL vco_below_the_window_is_rejected
FAIL vco_out_of_range_is_an_error
tests 16
pass 14
FAIL 2
invariants 4 proved -- comptime, so compiling IS the check
files $ git checkout specs/fpga/mmcm.t27 && sha256sum specs/fpga/mmcm.t27
Updated 1 path from the index
da9fe7efe8e415a12a4d20b63297708da5b2b89fe2dfef47b062467808837680 specs/fpga/mmcm.t27
files $ recorded 2026-10-07 17:35 UTC real 26.6 s shown 26.3 s exit codes 0 0 0 0
$ t27c test-report specs/fpga/mmcm.t27 --specs-dir specs | sed -n '1,7p'
$ sed -i '' 's/VCO_MIN_KHZ : u32 = 800000/VCO_MIN_KHZ : u32 = 400000/' specs/fpga/mmcm.t27 && git diff -U0 specs/fpga/mmcm.t27 | tail -n 2
$ t27c test-report specs/fpga/mmcm.t27 --specs-dir specs | sed -n '1,8p'
$ git checkout specs/fpga/mmcm.t27 && sha256sum specs/fpga/mmcm.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
