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

goblint / analyzer / 3438
65%

Build:
DEFAULT BRANCH: master
Ran 18 Jul 2025 03:30AM UTC
Jobs 1
Files 296
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

17 Jul 2025 02:44PM UTC coverage: 61.553% (+0.02%) from 61.533%
3438

push

github

sim642
Update Gobview (PR #1443)

20914 of 33977 relevant lines covered (61.55%)

406547.43 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
15.38
-7.69% src/util/std/gobTuple.ml
8
81.4
0.0% src/cdomain/value/util/wideningThresholds.ml
11
58.49
0.31% src/gobApron.ml
14
82.95
0.0% src/analyses/symbLocks.ml
17
77.48
0.0% src/analyses/mutexAnalysis.ml
29
31.11
0.0% src/common/util/intOps.ml
29
46.36
0.0% src/common/util/messageCategory.ml
32
80.14
0.62% src/relationAnalysis.ml
36
56.07
-0.15% src/apronDomain.ml
41
77.08
0.0% src/sharedFunctions.ml
75
80.11
0.0% src/analyses/base.ml
92
61.73
-0.1% src/framework/control.ml
258
3.35
0.07% src/analyses/extractPthread.ml
Jobs
ID Job ID Ran Files Coverage
1 3438.1 18 Jul 2025 03:30AM UTC 296
61.55
GitHub Action Run
Source Files on build 3438
  • Tree
  • List 296
  • Changed 31
  • Source Changed 30
  • Coverage Changed 15
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • aa694f40 on github
  • Prev Build on master (#3432)
  • Next Build on master (#3440)
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