stillwater-sc / universal / 26346151217
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.972% (+0.003%) from 83.969%
26346151217

push

github

web-flow 
feat(ereal): refactor multiplication.cpp to standard test pattern (#946) (#965)

Bring elastic/ereal/arithmetic/multiplication.cpp up to the standard
regression-test structure (matching addition.cpp / subtraction.cpp) and
strip cross-operator contamination so the operation under test is * / *=
only.

Structure:
- anonymous-namespace VerifyErealMultiplication(reportTestCases) for the
  foundational hand-curated cases
- property-based VerifyErealMultiplication_Fuzz over random multi-component
  expansions, fixed seed, with (seed, iter) reported on failure
- REGRESSION_LEVEL_1..4 guards + ReportTestSuiteHeader/ReportTestResult/
  ReportTestSuiteResults

Coverage (per #946): commutativity, identity, annihilation by zero,
associativity, sign rules, powers-of-two exact shift, cancellation via
multiplication (1+e)(1-e)=1-e^2, multi-limb cross terms, subnormal boundary.

Exact vs. tolerance: expansion_product accumulates cross terms in an
operand-dependent order, so a*b and b*a (and multi-limb associativity) are
not bit-identical -- those are checked on the projected double within a
relative tolerance via close_rel(); every other invariant is exact via
operator==. Cancellation and cross-term cases use power-of-two operands so
they are bit-exact.

Removed:
- distributivity test a*(b+c) == a*b + a*c (uses +; belongs in identities.cpp)
- non-ASCII '~=' characters
- ad-hoc tolerance-only main()

Verified foundational + fuzz (x1k, x100k) pass on gcc-13 and clang-18.

Relates to #944

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

47283 of 56308 relevant lines covered (83.97%)

5259179.89 hits per line

Coverage Regressions

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