23156378881
85%
master: 84%

Ran 16 Mar 2026 05:43PM UTC

Jobs 1

Files 622

Run time 2min

Badge

Embed ▾

Committed 16 Mar 2026 05:12PM UTC coverage: 84.15% (-0.003%) from 84.153%

Build # 23156378881

Build Type

push

github

Committed by

Ravenwater

Commit Message

fix(integer): guard unsigned subtraction for CodeQL alert #9

Add explicit ad >= r2 guard before subtraction to satisfy CodeQL
static analysis. The loop invariant already guarantees this condition
(r2 is reduced modulo ad on lines 96-98), but CodeQL cannot prove it.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Coverage Stats

43507 of 51702 relevant lines covered (84.15%)

6008426.12 hits per line

Coverage Regressions

Lines	Coverage	∆	File
2	89.24	-0.57%	include/sw/universal/number/posito/posito_impl.hpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	23156378881.1	16 Mar 2026 05:43PM UTC	622	84.15	GitHub Action Run

stillwater-sc / universal / 23156378881
85%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 23156378881

stillwater-sc / universal / 23156378881 85% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 23156378881

stillwater-sc / universal / 23156378881
85%
master: 84%

README BADGES
x