26997019830
98%

Ran 05 Jun 2026 05:20AM UTC

Jobs 1

Files 26

Run time 1min

Badge

Embed ▾

Committed 05 Jun 2026 05:20AM UTC coverage: 98.316%. Remained the same

Build # 26997019830

Build Type

push

github

Committed by

web-flow

Commit Message

Add category ASYM: asymmetric-taint regression fixtures (#121)

* Add category ASYM: asymmetric-taint regression fixtures

The existing Cat A/B/C fixtures taint both operands symmetrically,
which is the right pattern for general CT-property verification — but
it doesn't catch a future refactor that removes a load-bearing
`core::hint::black_box` from one of the protected mask-select sites.
The LLVM XOR-select → cmov rewrite (PR #118, #120) only triggers
observably when the cmov's source operands carry asymmetric taint
metadata; with both fully tainted, Valgrind sees the cmov as taint
propagation rather than a "use of uninit value in conditional move"
error.

Coverage Stats

2860 of 2909 relevant lines covered (98.32%)

367.57 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26997019830.1	05 Jun 2026 05:20AM UTC	26	98.32	GitHub Action Run

kaidokert / fixed-bigint-rs / 26997019830
98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26997019830

kaidokert / fixed-bigint-rs / 26997019830 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26997019830

kaidokert / fixed-bigint-rs / 26997019830
98%

README BADGES
x