t27c on fifo.t27 -- break a flag, one test objects

push sets flags.empty = false; one sed flips it to true and push_increments_fill fails on the next run; git restores the spec.

files $ sed -i '' 's/result.flags.empty = false;/result.flags.empty = true;/' specs/fpga/fifo.t27 && git
 diff -U0 specs/fpga/fifo.t27 | tail -n 2                                                               
-        result.flags.empty = false;                                                                    
+        result.flags.empty = true;                                                                     
files $ t27c test-report specs/fpga/fifo.t27 --specs-dir specs | sed -n '1,10p'                         
--- test report: specs/fpga/fifo.t27 ---                                                                
  FAIL  push_increments_fill                                                                            
  FAIL  pop_decrements_fill                                                                             
  FAIL  push_pop_roundtrip                                                                              

  tests       18                                                                                        
  pass        15                                                                                        
  FAIL        3                                                                                         
  invariants  6   proved -- comptime, so compiling IS the check                                         
  rate    83.3%                                                                                         
files $ git checkout specs/fpga/fifo.t27 && sha256sum specs/fpga/fifo.t27                               
Updated 1 path from the index                                                                           
9988e4ba66ce159c60fcf384d153cd0819729c109768529d978dd6463fa69393  specs/fpga/fifo.t27                   
files $

recorded 2026-10-07 17:37 UTCreal 19.9 sshown 19.4 sexit codes 0 0 0

$ sed -i '' 's/result.flags.empty = false;/result.flags.empty = true;/' specs/fpga/fifo.t27 && git diff -U0 specs/fpga/fifo.t27 | tail -n 2 $ t27c test-report specs/fpga/fifo.t27 --specs-dir specs | sed -n '1,10p' $ git checkout specs/fpga/fifo.t27 && sha256sum specs/fpga/fifo.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 ~.

GIF Preview card