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

goblint / analyzer / 4518

23 May 2026 06:14AM UTC coverage: 65.269% (+0.005%) from 65.264%
4518

Pull #2043

github

web-flow
Merge 812244ed1 into 5f8e1dbc9
Pull Request #2043: Port tutorial analyses to `SimplifiedSpec` while preserving `unitAnalysis` compatibility

58 of 87 new or added lines in 7 files covered. (66.67%)

2 existing lines in 1 file now uncovered.

22997 of 35234 relevant lines covered (65.27%)

394781.5 hits per line

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

66.67
/src/analyses/tutorials/solution/taintSol.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