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

goblint / analyzer / 2626

16 Dec 2024 08:41AM UTC coverage: 62.076%. Remained the same
2626

Pull #1606

github

web-flow
Merge ff77a63e8 into 38442a63c
Pull Request #1606: Split `IntDomain`s into separate files

1648 of 2071 new or added lines in 7 files covered. (79.58%)

18870 of 30398 relevant lines covered (62.08%)

446357.29 hits per line

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

88.24
/src/cdomain/value/cdomains/int/intDomTuple.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