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

goblint / analyzer / 3211

14 May 2025 10:53AM UTC coverage: 61.486% (+0.02%) from 61.467%
3211

Pull #1744

github

web-flow
Merge 5b2fc954b into 9cfaf49a3
Pull Request #1744: Remove (some) usages of `MyCFG.current_node`

8 of 9 new or added lines in 4 files covered. (88.89%)

1 existing line in 1 file now uncovered.

20647 of 33580 relevant lines covered (61.49%)

411247.48 hits per line

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

3.28
/src/analyses/extractPthread.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