1
85%
master: 84%

Ran 16 Mar 2026 05:43PM UTC

Files 622

Run time 15s

Badge

Embed ▾

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

Job # 23156378881.1

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 23156378881.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 23156378881.1

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

README BADGES
x