stillwater-sc / universal / 26367532968
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.98% (-0.009%) from 83.989%
26367532968

push

github

web-flow 
feat(ereal): standardize + property coverage for math/functions exp/log (#950 cat 2) (#975)

* feat(ereal): standardize + add property coverage to math/functions exp/log (#950 cat 2)

Category 2 of the math/functions refactor (#950): exponent.cpp and
logarithm.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) from comments

Layer-1 property coverage (oracle-free; precision-lifting self-oracle remains
scoped to #954):
- exponent.cpp VerifyExponentFuzz: log(exp(x))==x, exp(-x)==1/exp(x),
  expm1(x)==exp(x)-1, exp(a+b)==exp(a)*exp(b), exp monotonicity.
- logarithm.cpp VerifyLogarithmFuzz: exp(log(x))==x, log(a*b)==log(a)+log(b)
  (relative tolerance with an absolute floor for near-zero results), log
  monotonicity, and log1p(x)==log(1+x).

Note: log1p is only accurate to ~1e-5 today, so its identity is checked with a
loose tolerance; tightening it is precision work tracked under #954. exp/log
themselves and the addition theorems are accurate to ~1e-16 (the latter exact).

Existing multi-precision (ereal<8/16/19>) 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>

* chore(ereal): reorder includes in math stub test (group ereal.hpp with config)

Move the ereal.hpp include up next to directives.hpp. No functional change.

Relates to #950

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

---------

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

47322 of 56349 relevant lines covered (83.98%)

7065816.25 hits per line

Coverage Regressions

Lines Coverage ∆ File
10
31.43
 -3.57% include/sw/universal/verification/test_suite_randoms.hpp
3
80.58
 -0.67% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
Jobs
ID Job ID Ran Files Coverage
1 26367532968.1 657
83.98
 GitHub Action Run
Source Files on build 26367532968