• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In
Warning: This build has drifted.
The coverage report for this pull request build may be inaccurate because its base commit is no longer the HEAD of its target branch.
This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

    • Learn more: For more information on this, see Tracking coverage changes for pull request builds.
    • Fix now: For a quick fix, rebase this PR at GitHub. Your next report should be accurate.
    • Prevent going forward: To avoid this issue with future PRs, see these Recommended CI Configurations.
New Repo Setting:
INCLUDE COVERAGE % WITH WARNINGS ABOUT DRIFTED BUILDS?

Enabling this setting will include a (potentially inaccurate) coverage % with warning messages in status updates for drifted builds.

Adjust setting

goblint / analyzer / 4454 / 1
65%
master: 65%

Build:
Build:
LAST BUILD BRANCH: dev-setup
DEFAULT BRANCH: master
Ran 07 May 2026 10:18AM UTC
Files 317
Run time 11s
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

07 May 2026 10:08AM UTC coverage: 65.421% (-0.07%) from 65.495%
4454.1

Pull #1989

github

web-flow
Merge d240b86c8 into d7281208d
Pull Request #1989: Warn about bitwise shift with negative shift amount (UB in C)

22699 of 34697 relevant lines covered (65.42%)

399040.98 hits per line

Source Files on job 4454.1
  • Tree
  • List 317
  • Changed 24
  • Source Changed 21
  • Coverage Changed 19
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 4454
  • baf291fe on github
  • Prev Job for on copilot/warn-bitwise-shift-misuse (#4376.1)
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