26480247817
85%
master: 84%

Ran 26 May 2026 11:43PM UTC

Jobs 1

Files 661

Run time 2min

Badge

Embed ▾

Committed 26 May 2026 11:05PM UTC coverage: 83.984% (-0.03%) from 84.011%

Build # 26480247817

Build Type

push

github

Committed by

web-flow

Commit Message

perf(ereal): tier mathlib property-fuzz by regression level (#1007) (#1008)

The ereal mathlib property-fuzz ran a heavy fixed count (x100 exponent, x50
others) only at L1 -- the sanity tier that CI's Debug-instrumented jobs
(ASan/UBSan/coverage) run. At -O0 + instrumentation that loop is ~40x slower
than the -O3 matrix, making those jobs take ~1h+ (e.g. hyperbolic 568s,
exponent 420s under coverage).

Tier the fuzz count by regression level instead: L1 keeps only a small smoke
sample (exponent x20, others x15), while L2/L3/L4 scale up (x100/x500/x2000) for
the on-demand stress builds where runtime is not a concern. The fuzz runs once,
with the count selected by the highest enabled level. Hand-curated fixed-point
correctness tests and the wider-maxlimbs (ereal<16>/<19>) blocks are unchanged.

Effect (L1, -O3): exponent 9.7s -> 1.7s, hyperbolic ~11s -> 3.3s, etc.; the
Debug-instrumented CI jobs drop proportionally. QA depth at the stress tiers is
preserved (and the property fuzz now actually scales there, where before it did
not run at all above L1).

Verified gcc + clang at L1 (all 7 tests pass, 0.3-3.3s) and L2 tiering (exit 0).

Resolves #1007

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Coverage Stats

46805 of 55731 relevant lines covered (83.98%)

5765024.54 hits per line

Coverage Regressions

Lines	Coverage	∆	File
10	31.43	-3.57%	include/sw/universal/verification/test_suite_randoms.hpp
4	89.23	-1.1%	include/sw/universal/number/posito/posito_impl.hpp
1	80.58	-0.22%	include/sw/universal/number/posit1/specialized/posit_16_1.hpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	26480247817.1	26 May 2026 11:43PM UTC	661	83.98	GitHub Action Run

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26480247817

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26480247817

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

README BADGES
x