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

goblint / analyzer / 4031

08 Jan 2026 01:07PM UTC coverage: 65.441% (-0.005%) from 65.446%
4031

Pull #1894

github

web-flow
Merge 20c3cceea into f37871cb6
Pull Request #1894: Add cast kinds in CIL

56 of 75 new or added lines in 22 files covered. (74.67%)

860 existing lines in 15 files now uncovered.

22606 of 34544 relevant lines covered (65.44%)

404521.13 hits per line

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

20.0
/src/framework/analysisResultOutput.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