t27c on ocp_mx.t27 -- OCP MX v1.0, native

t27c 0.4.0 and zig 0.16.0 on the t27c lab (Railway), spec at t27 1a3786657: 49 tests pass natively; one changed bias makes exactly one test fail; git restores the spec.

        assert block_flushed(BLOCK_A, K_E4M3) == 0;                                                     
    }                                                                                                   
t27 $ t27c test-report specs/numeric/ocp_mx.t27 --specs-dir specs | sed -n '1,7p;$p'                    
--- test report: specs/numeric/ocp_mx.t27 ---                                                           

  tests       49                                                                                        
  pass        49                                                                                        
  FAIL        0                                                                                         
  rate    100.0%                                                                                        

  vacuous passes  0 of 49  (passed with 0 runtime asserts executed)                                     
t27 $ t27c gen specs/numeric/ocp_mx.t27 > ocp_mx.zig && zig test ocp_mx.zig                             
All 49 tests passed.                                                                                    
t27 $ sed -i 's/= \[1, 1, 3, 7, 15, 0\]/= [1, 1, 3, 7, 16, 0]/' specs/numeric/ocp_mx.t27 && git diff -U0
 | tail -n 2                                                                                            
-    const KIND_BIAS     : [6]i64 = [1, 1, 3, 7, 15, 0];                                                
+    const KIND_BIAS     : [6]i64 = [1, 1, 3, 7, 16, 0];                                                
t27 $ t27c test-report specs/numeric/ocp_mx.t27 --specs-dir specs | sed -n 1,8p                         
--- test report: specs/numeric/ocp_mx.t27 ---                                                           
  FAIL  bias_puts_the_min_normal_at_two_to_one_minus_bias                                               

  tests       49                                                                                        
  pass        48                                                                                        
  FAIL        1                                                                                         
  rate    98.0%                                                                                         

t27 $ git checkout specs/numeric/ocp_mx.t27 && sha256sum specs/numeric/ocp_mx.t27                       
Updated 1 path from the index                                                                           
b67eb3b0586958d9afb84059ea18eca3765f013ef66bbb7574a1f9f165e7139a  specs/numeric/ocp_mx.t27              
t27 $

recorded 2026-10-06 14:11 UTCreal 32.7 sshown 32.7 sexit codes 0 0 0 0 0 0 0 0

$ git log -1 --format='%h %s' | cut -c1-100 $ t27c --version && zig version $ sed -n 657,664p specs/numeric/ocp_mx.t27 $ t27c test-report specs/numeric/ocp_mx.t27 --specs-dir specs | sed -n '1,7p;$p' $ t27c gen specs/numeric/ocp_mx.t27 > ocp_mx.zig && zig test ocp_mx.zig $ sed -i 's/= \[1, 1, 3, 7, 15, 0\]/= [1, 1, 3, 7, 16, 0]/' specs/numeric/ocp_mx.t27 && git diff -U0 | tail -n 2 $ t27c test-report specs/numeric/ocp_mx.t27 --specs-dir specs | sed -n 1,8p $ git checkout specs/numeric/ocp_mx.t27 && sha256sum specs/numeric/ocp_mx.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