stillwater-sc / universal / 26370933469
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.971% (-0.02%) from 83.986%
26370933469

push

github

web-flow 
feat(ereal): standardize math/functions fractional/error_gamma + smoke (#950 cat 5, final) (#978)

* feat(ereal): standardize math/functions fractional/error_gamma + smoke (#950 cat 5)

Final category of the math/functions refactor (#950): fractional.cpp,
error_and_gamma.cpp, and ereal_math_stub_test.cpp.

fractional.cpp:
- standardized (anonymous namespace, reportTestCases-gated cout FAIL,
  reportTestCases=true), keeping VerifyFmod/VerifyRemainder/
  VerifyDivisionByZeroExceptions/VerifyFmodVsRemainder.
- added VerifyFractionalFuzz: the fmod reduction identity x==trunc(x/y)*y+
  fmod(x,y), |fmod| < |y|, fmod sign, and |remainder| <= |y|/2.
- modf is intentionally NOT covered: it is not implemented for ereal (only
  std::modf is used internally).

error_and_gamma.cpp (was a Phase-0 MANUAL_TESTING smoke stub -> real tests):
erf/erfc/tgamma/lgamma are implemented and accurate, so this adds
VerifyErrorFunction (erf(0)==0, erf vs std, parity, erf+erfc==1), VerifyTgamma
(tgamma(n)==(n-1)!, tgamma(1/2)^2==pi, recurrence tgamma(x+1)==x*tgamma(x)),
VerifyLgamma (lgamma(1)=lgamma(2)=0, lgamma==log(tgamma), vs std), and a
property fuzzer.

ereal_math_stub_test.cpp: refactored the print-only demo into VerifyMathSmoke
-- a breadth-first regression that calls every mathlib function once on an
in-domain input and asserts a finite result, complementing the per-function
property files (kept rather than removed, per maintainer preference).

All three build and pass on gcc-13 and clang-18. This completes the 15-file
math/functions standardization (categories 1-5).

Relates to #944
Resolves #950

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

* fix(ereal): address CodeRabbit on #978 -- strict fmod bound + special values

- fractional.cpp: enforce the strict |fmod(x,y)| < |y| bound (>= now fails),
  matching the property comment (was >, which allowed equality).
- error_and_gamma.cpp: add the special-value cases CodeRabbit requested
  (verified to ... (continued)

47317 of 56349 relevant lines covered (83.97%)

8607793.32 hits per line

Coverage Regressions

Lines Coverage ∆ File
8
93.64
 -0.47% include/sw/universal/number/cfloat/cfloat_impl.hpp
1
31.07
 -0.36% include/sw/universal/verification/test_suite_randoms.hpp
Jobs
ID Job ID Ran Files Coverage
1 26370933469.1 657
83.97
 GitHub Action Run
Source Files on build 26370933469