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

goblint / analyzer / 4009

29 Dec 2025 12:27PM UTC coverage: 65.423% (-0.02%) from 65.446%
4009

Pull #1894

github

web-flow
Merge 9437f979a into 379b3a197
Pull Request #1894: Add cast kinds in CIL

57 of 76 new or added lines in 23 files covered. (75.0%)

843 existing lines in 14 files now uncovered.

22595 of 34537 relevant lines covered (65.42%)

404564.83 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

© 2025 Coveralls, Inc