30172461537
97%
main: 97%

Ran 25 Jul 2026 07:53PM UTC

Jobs 1

Files 62

Run time 1min

Badge

Embed ▾

Committed 25 Jul 2026 07:52PM UTC coverage: 97.174%. Remained the same

Build # 30172461537

Build Type

Pull #188

github

Committed by

kaidokert

Commit Message

Pin CtCheckedAdd/Sub/Mul + CtNonZero to cross-carrier parity

The shared carrier_generic harness is Nct-only, so the entire Ct trait surface
had no cross-carrier coverage — CtCheckedAdd/Sub/Mul and CtNonZero were each
unit-tested per carrier but never pinned to agree with each other, despite
HeaplessBigInt ≡ FixedUInt being the carrier invariant.

Add a parallel `CtCarrier` bound + `for_both_ct_carriers!` runner (the Ct twin
of `Carrier`/`for_both_carriers!`) and parity tests that assert each carrier's
masked (value, validity) against the same expected result at the shared 32-bit
width — Some on the in-range case, None on overflow/underflow, and the
into_nonzero_ct validity flag on zero vs non-zero. Asserting both carriers
against one ground truth pins the two impls equal.

Pull Request Pull Request #188: Pin the Ct checked traits to cross-carrier parity

Coverage Stats

6293 of 6476 relevant lines covered (97.17%)

7043.33 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	30172461537.1	25 Jul 2026 07:53PM UTC	62	97.17	GitHub Action Run

kaidokert / fixed-bigint-rs / 30172461537
97%
main: 97%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 30172461537

kaidokert / fixed-bigint-rs / 30172461537 97% main: 97%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 30172461537

kaidokert / fixed-bigint-rs / 30172461537
97%
main: 97%

README BADGES
x