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

goblint / analyzer / 4454

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

Pull #1989

github

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

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

542 existing lines in 14 files now uncovered.

22699 of 34697 relevant lines covered (65.42%)

399040.98 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

65.43
/src/framework/control.ml


Source Not Available

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