stillwater-sc / universal / 26361333784
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.962% (-0.006%) from 83.968%
26361333784

push

github

web-flow 
feat(ereal): refactor maxlimbs_threshold.cpp + wire into build (#951) (#973)

* feat(ereal): refactor maxlimbs_threshold.cpp + wire into build (#951)

maxlimbs_threshold.cpp was an unstructured demo (a print-only table loop,
non-ASCII characters, no assertions, always returned 0) and -- because the
ereal CMakeLists only globbed math/functions/ and math/constants/ -- it was
never actually compiled or run.

Refactor to the standard regression framework:
- VerifyMaxlimbsConfigurations: each maxlimbs in {1,2,4,8,16,19} constructs
  and exercises + - * / with an exact additive round-trip check.
- VerifyMaxlimbsBoundary: the 53*maxlimbs <= 1022 normal-double boundary --
  2^-1007 (19 limbs) stays >= DBL_MIN while 2^-1060 (20 limbs) underflows.
- A macro-gated ereal<20> instantiation (EREAL_TEST_MAXLIMBS_OVERFLOW, off by
  default) that MUST fail the static_assert(maxlimbs <= 19) at compile time;
  verified locally that -DEREAL_TEST_MAXLIMBS_OVERFLOW=1 fails to compile with
  the expected message.
- Standard MANUAL_TESTING / REGRESSION_LEVEL guards + ReportTestSuite harness.
- Removed all non-ASCII characters.

Note: maxlimbs is the compile-time algorithmic ceiling (the static_assert),
not a hard runtime cap -- the _limb vector grows dynamically, so an ereal<N>
may hold more than N components. The test reflects this.

Build wiring: add a non-recursive `./math/*.cpp` glob + compile_all so the
file builds and runs as er_math_maxlimbs_threshold (it was orphaned before).

Verified build + pass on gcc-13 and clang-18, including the in-tree target
after cmake reconfigure.

Relates to #944
Resolves #951

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

* fix(ereal): resolve Codacy always-true conditions in maxlimbs boundary test

Codacy/cppcheck flagged the integer-constant checks `53*19 < 1022` and
`53*20 > 1022` as knownConditionTrueFalse (always-true runtime conditions /
dead branches). These relationships are compile-time invariants, so exp... (continued)

47312 of 56349 relevant lines covered (83.96%)

5373464.61 hits per line

Coverage Regressions

Lines Coverage ∆ File
3
80.58
 -0.67% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
2
89.78
 0.0% include/sw/universal/number/posito/posito_impl.hpp
Jobs
ID Job ID Ran Files Coverage
1 26361333784.1 657
83.96
 GitHub Action Run
Source Files on build 26361333784