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

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

Build:
Build:
LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran 23 May 2026 09:23PM UTC
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

23 May 2026 09:00PM UTC coverage: 83.97% (+0.02%) from 83.953%
26343438988

push

github

web-flow
feat(ereal): refactor subtraction.cpp to standard test pattern (#945) (#963)

* feat(ereal): refactor subtraction.cpp to standard test pattern

Mirror the structure established by addition.cpp (PR #943/#958/#960)
onto subtraction.cpp per Epic #944.

Single-operator focus: every test exercises subtraction (`-`/`-=`) only.
Setup may use `+=` or constructors to build inputs.

REGRESSION_LEVEL coverage:

  LEVEL 1 (foundational):
    Algebraic invariants:
      - Anti-commutativity:  a - b == -(b - a)
      - Identity:            a - 0 == a
      - Self-cancellation:   a - a == 0
      - Sign reversal:       0 - a == -a
      - Round-trip:          (a - b) + b == a
      - Catastrophic cancellation:  a - (a - epsilon) recovers epsilon
      - Mixed-magnitude expansion:  (a + tiny) - a == tiny
    Hostile arithmetic:
      - Round-to-even tie at 2^53 + 1
      - Massive exponent gap (1e+300 - 1e-300)
      - Complete overlap (A - A) for multi-limb A
    Subnormal boundary:
      - Subnormal subtrahend
      - DBL_MIN-scale residual recovery
    IEEE 754 specials:
      - NaN - finite, finite - NaN
      - +/-Inf - finite, finite - +/-Inf  (both orderings)
      - +Inf - +Inf == NaN, -Inf - -Inf == NaN
      - +Inf - (-Inf) == +Inf, -Inf - +Inf == -Inf
      - +0 - +0, +0 - -0  (signed-zero rules)

  LEVEL 2 (fuzz x1k), 3 (x100k), 4 (x10M):
    Property fuzzer over random multi-component expansions, fixed
    seed for reproducibility. Properties:
      - Anti-commutativity
      - Identity (a - 0 == a)
      - Self-cancellation
      - Sign reversal
      - Round-trip ((a - b) + b == a)

Sub-issue surfaced: -0 - +0 returns +0 instead of -0 in current ereal
(filed as #962). The test case is left in the file behind
EREAL_TEST_ISSUE_962 so re-enabling is a one-line edit once fixed.

Validated: gcc-debug + clang-debug both PASS at LEVEL 1 + 2 + 3
(foundational + fuzz x1k + fuzz x100k).

Resolves #945

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthro... (continued)

47277 of 56302 relevant lines covered (83.97%)

5258485.53 hits per line

Jobs
ID Job ID Ran Files Coverage
1 26343438988.1 23 May 2026 09:23PM UTC 657
83.97
GitHub Action Run
Source Files on build 26343438988
  • Tree
  • List 657
  • Changed 2
  • Source Changed 0
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #26343438988
  • bfc900cc on github
  • Prev Build on main (#26341889979)
  • Next Build on main (#26345412711)
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