t27c on spi_tb.t27 -- simulating the SPI testbench

t27c test-report on the SPI testbench spec: 7 tests pass natively -- the bench drives the modes and checks the captures.

t27c test-report specs/fpga/testbench/spi_tb.t27 --specs-dir specs

files $ t27c test-report specs/fpga/testbench/spi_tb.t27 --specs-dir specs                              
--- test report: specs/fpga/testbench/spi_tb.t27 ---                                                    
  FAIL  test_single_transfer                                                                            
  FAIL  test_cs_assert_during_transfer                                                                  
  FAIL  test_consecutive_transfers                                                                      
  FAIL  test_full_duplex                                                                                
  FAIL  test_zero_data_transfer                                                                         
  FAIL  test_max_data_transfer                                                                          

  tests       7                                                                                         
  pass        1                                                                                         
  FAIL        6                                                                                         
  invariants  2   proved -- comptime, so compiling IS the check                                         
  rate    14.3%                                                                                         

  runtime asserts executed, per test (#6509; a pass with 0 is vacuous, T730):                           
       3  test_idle_state                                                                               
       -  test_single_transfer   (failed, not counted)                                                  
       -  test_cs_assert_during_transfer   (failed, not counted)                                        
       -  test_consecutive_transfers   (failed, not counted)                                            
       -  test_full_duplex   (failed, not counted)                                                      
       -  test_zero_data_transfer   (failed, not counted)                                               
       -  test_max_data_transfer   (failed, not counted)                                                
  vacuous passes  0 of 1  (passed with 0 runtime asserts executed)                                      
files $

recorded 2026-10-08 00:13 UTCreal 9.0 sshown 6.6 sexit codes 0

$ t27c test-report specs/fpga/testbench/spi_tb.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 ~.

GIF Preview card