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

goblint / analyzer / 4320

13 Apr 2026 09:06PM UTC coverage: 65.497% (+0.009%) from 65.488%
4320

Pull #1981

github

web-flow
Merge ed80c4c53 into 5df7a366e
Pull Request #1981: Improve `exp.single-threaded` for analysis without threadflag and escape

19 of 20 new or added lines in 11 files covered. (95.0%)

24 existing lines in 6 files now uncovered.

22681 of 34629 relevant lines covered (65.5%)

399985.53 hits per line

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

81.84
/src/analyses/base.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