26367934301
85%
master: 84%

Ran 24 May 2026 09:37PM UTC

Jobs 1

Files 657

Run time 2min

Badge

Embed ▾

Committed 24 May 2026 05:26PM UTC coverage: 83.977% (-0.003%) from 83.98%

Build # 26367934301

Build Type

push

github

Committed by

web-flow

Commit Message

feat(ereal): standardize + property coverage for math/functions trig/hyperbolic (#950 cat 3) (#976)

Category 3 of the math/functions refactor (#950): trigonometry.cpp and
hyperbolic.cpp.

Standardization (matches arithmetic/addition.cpp, PR #943):
- anonymous namespace + single `using namespace sw::universal;`
- reportTestCases-gated `std::cout << "    FAIL ..."` (was std::cerr)
- reportTestCases defaults to true
- stripped non-ASCII characters (~=, ^2, <=, pi) from comments

Layer-1 property coverage (oracle-free; self-oracle scoped to #954):
- trigonometry.cpp VerifyTrigonometryFuzz: sin^2+cos^2==1, tan==sin/cos,
  sin/cos parity, asin(sin(x))==x, atan(tan(x))==x, atan2(sin x, cos x)==x
  over the principal domain (-pi/2, pi/2).
- hyperbolic.cpp VerifyHyperbolicFuzz: cosh^2-sinh^2==1, tanh==sinh/cosh,
  sinh/cosh parity, asinh(sinh(x))==x, atanh(tanh(x))==x, sinh monotonicity.

Probing showed all of these hold exactly or to ~1e-16, so the fuzzers use a
1e-13 relative tolerance (with an absolute floor). Existing multi-precision
tests at LEVEL 2-4 are preserved. Both build and pass on gcc-13 and clang-18.

Relates to #944
Relates to #950

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

Coverage Stats

47320 of 56349 relevant lines covered (83.98%)

8303857.87 hits per line

Coverage Regressions

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	26367934301.1	24 May 2026 09:37PM UTC	657	83.98	GitHub Action Run

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26367934301

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26367934301

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

README BADGES
x