• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

stillwater-sc / universal / 26593562331
84%
master: 84%

Build:
Build:
LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran 28 May 2026 06:54PM UTC
Jobs 1
Files 661
Run time 2min
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

28 May 2026 06:16PM UTC coverage: 84.004% (-0.02%) from 84.022%
26593562331

push

github

web-flow
fix(cfloat): isnormal() returns false for +-0 (IEEE / std::isnormal) (#1031)

cfloat::isnormal() returned true for +-0 -- the zero-encoding early-out returned
true ("filter out the one special case"), but zero is not a normal number
(std::isnormal(0)==false). Subnormal/inf/nan were already classified correctly;
zero was the only wrong category. One-line fix: the zero early-out returns false.

Caller sweep (no adaptation needed): every cfloat-internal use of isnormal() in
conversion/normalization (cfloat_impl.hpp 455, 512, 2128, 2189, 2276, 2338) sits
in an else-branch after an earlier iszero() check, so zero never reaches the
isnormal() test there. elreal block.is_normalised() guards with is_zero_block()
first; complex isnormal short-circuits `re==0.0 ||`; closure_plot_png excludes
zero explicitly. Verified: cfloat-to-cfloat and double->cfloat conversion tests
pass unchanged on gcc + clang.

Tests:
- classify.cpp: added VerifyIsNormalClassification asserting +-0/inf/nan/subnormal
  are not normal and finite non-zero normals are (the suite was print-only before).
- fractional.cpp: removed the #1027 isnormal()-and-not-iszero workaround now that
  isnormal() is correct for zero.

Resolves #1030

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

1 of 1 new or added line in 1 file covered. (100.0%)

18 existing lines in 4 files now uncovered.

46924 of 55859 relevant lines covered (84.0%)

5791451.9 hits per line

Coverage Regressions

Lines Coverage ∆ File
10
31.43
-3.57% include/sw/universal/verification/test_suite_randoms.hpp
5
50.45
-4.5% include/sw/universal/verification/posit_test_suite_randoms.hpp
2
89.78
-0.55% include/sw/universal/number/posito/posito_impl.hpp
1
80.58
-0.22% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
Jobs
ID Job ID Ran Files Coverage
1 26593562331.1 28 May 2026 06:54PM UTC 661
84.0
GitHub Action Run
Source Files on build 26593562331
  • Tree
  • List 661
  • Changed 5
  • Source Changed 1
  • Coverage Changed 5
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #26593562331
  • 25f42938 on github
  • Prev Build on main (#26589976912)
  • Next Build on main (#26595481055)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc