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

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Jobs 1
Files 657
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 83.986% (+0.009%) from 83.977%
26369327839

push

github

web-flow 
feat(ereal): standardize + property coverage for math/functions pow/sqrt/hypot (#950 cat 4) (#977)

* feat(ereal): standardize + property coverage for math/functions pow/sqrt/hypot (#950 cat 4)

Category 4 of the math/functions refactor (#950): pow.cpp, sqrt.cpp, hypot.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, ^3, pi) from comments

Layer-1 property coverage (oracle-free; self-oracle scoped to #954):
- pow.cpp VerifyPowFuzz: pow(x,2)==x*x, pow(x,0.5)==sqrt(x), the
  pow(x,a)*pow(x,b)==pow(x,a+b) exponent law, pow(x,0)==1, pow(x,1)==x.
- sqrt.cpp VerifySqrtFuzz: sqrt(x)^2==x, sqrt(x*x)==x, cbrt(x)^3==x, sqrt
  monotonicity.
- hypot.cpp VerifyHypotFuzz: hypot(x,y)^2==x^2+y^2, hypot(x,0)==|x|, symmetry,
  and the hypot >= max(|x|,|y|) lower bound.

Probing showed these hold exactly or to ~1e-16, so the fuzzers use a 1e-13
relative tolerance with an absolute floor. The hypot value identities
(hypot(x,0)==|x|, symmetry) are compared on the projected double rather than
structurally: hypot's internal expansion need not be bit-identical to the
single-limb |x| even when the values match. Existing multi-precision tests at
LEVEL 2-4 are preserved. All three 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>

* fix(ereal): use tolerant comparison for pow fixed-point fuzz checks (CodeRabbit PR #977)

pow(x,0)==1 and pow(x,1)==x were checked with exact operator==; the general
pow path need not return bit-exact 1/x on every platform. Switch to close_rel
(1e-13), consistent with the other pow property checks.

Relates to #950

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

---------

Co-authored-by: Claude Opus 4.7 (1M contex... (continued)

47325 of 56349 relevant lines covered (83.99%)

8598293.15 hits per line

Jobs
ID Job ID Ran Files Coverage
1 26369327839.1 657
83.99
 GitHub Action Run
Source Files on build 26369327839