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

goblint / analyzer / 4130

28 Jan 2026 07:01PM UTC coverage: 65.539% (+0.02%) from 65.523%
4130

Pull #1933

github

web-flow
Merge da7ab8c02 into 3127a30ca
Pull Request #1933: Disable constant folding to not miss checks in constant expressions

12 of 14 new or added lines in 1 file covered. (85.71%)

1 existing line in 1 file now uncovered.

22729 of 34680 relevant lines covered (65.54%)

403151.64 hits per line

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

81.76
/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