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

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Files 657
Run time 15s
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.989% (+0.03%) from 83.962%
26366646057.1

push

github

web-flow 
feat(ereal): standardize math/functions classify/numerics/truncate/minmax/next (#950 cat 1) (#974)

* feat(ereal): standardize math/functions classify/numerics/truncate/minmax/next (#950 cat 1)

First of ~5 category PRs for the elastic/ereal/math/functions/ refactor
(#950). Aligns the five classification/numeric-support files to the canonical
test structure used by arithmetic/addition.cpp (PR #943):

- anonymous namespace with a single `using namespace sw::universal;` (was
  `namespace sw { namespace universal { ... } }`)
- reportTestCases-gated `std::cout << "    FAIL ..."` output (was
  unconditional-prefix `std::cerr << "FAIL: ..."`)
- reportTestCases defaults to true in main

Files: classify.cpp (isfinite/isnan/isinf/isnormal/signbit/fpclassify),
numerics.cpp (copysign/ldexp/frexp + roundtrip), truncate.cpp
(floor/ceil/trunc/round/rint), minmax.cpp (min/max), next.cpp (nextafter).

Each file remains single-family; the unqualified math calls resolve via ADL
on the ereal argument. No test logic changed. All five 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>

* feat(ereal): add property/special-value coverage to math/functions cat 1 (#950)

Strengthens the five category-1 files beyond the smoke-level fixed points
with oracle-free property tests (layer 1 of the verification strategy; the
precision-lifting self-oracle is scoped to #954):

- classify.cpp: special values (isnan(NaN), isinf(+/-Inf), !isfinite(Inf),
  fpclassify -> FP_INFINITE/FP_NAN) + VerifyClassifyFuzz (finite-input
  consistency, signbit vs projection, normal/zero partition).
- numerics.cpp: VerifyNumericsFuzz (copysign sign/magnitude, frexp/ldexp
  round trip, power-of-two ldexp shift round trip).
- truncate.cpp: VerifyTruncateFuzz (floor<=x<=ceil bracket, floor(-x)==
  -ceil(x) reflection, trunc-toward-zero, agreement with std:: rounding).
- minmax.cpp: VerifyMinMaxFuzz (ordering, min+max=... (continued)

47327 of 56349 relevant lines covered (83.99%)

5381820.72 hits per line

Source Files on job 26366646057.1