stillwater-sc / universal / 23678591174
85%
master: 84%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Jobs 1
Files 629
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: 84.392% (-0.008%) from 84.4%
23678591174

push

github

web-flow 
feat(ucalc): breakpoint finder command (diverge) (#645)

* feat(ucalc): breakpoint finder command (#624)

Add `diverge <expr> <type1> <type2> <tol> for <var> in [a, b]` that
finds the first input value where two types disagree beyond a given
tolerance. Uses a 1000-point scan followed by binary search (64
iterations) for precise localization.

Supports both absolute tolerance (e.g., 0.001) and ULP-relative
tolerance (e.g., 1ulp, measured against type1's ULP).

All output formats: plain, --json, --csv, --quiet.
21/21 CTests pass on gcc.

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

* fix(ucalc): resolve CodeRabbit review items for diverge command

Four fixes:

1. JSON error output for unknown types: ops1/ops2 null branches now
   emit structured JSON when --json is active.

2. Always report both abs_diff and ulp_diff: DiffResult struct carries
   both values, output includes both regardless of tolerance mode.
   Threshold check still uses whichever the user specified.

3. Non-finite handling in compute_diff: NaN/inf mismatches return
   infinity so they're always treated as divergence.

4. Unified error handling: all parse failures (missing "for"/"in",
   insufficient tokens, empty range, negative tolerance) throw through
   the single catch block for consistent JSON error output.

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

---------

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

44440 of 52659 relevant lines covered (84.39%)

6127422.07 hits per line

Coverage Regressions

Lines Coverage ∆ File
5
50.45
 -4.5% include/sw/universal/verification/posit_test_suite_randoms.hpp
2
89.8
 -0.57% include/sw/universal/number/posito/posito_impl.hpp
1
81.47
 0.67% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
Jobs
ID Job ID Ran Files Coverage
1 23678591174.1 629
84.39
 GitHub Action Run
Source Files on build 23678591174