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

goblint / analyzer / 3186
65%

Build:
DEFAULT BRANCH: master
Ran 07 May 2025 03:12AM UTC
Jobs 1
Files 289
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

05 May 2025 02:56PM UTC coverage: 61.461% (-0.2%) from 61.699%
3186

push

github

web-flow
Merge pull request #1738 from goblint/rm-graphml-witness

Remove GraphML witness export

14 of 82 new or added lines in 5 files covered. (17.07%)

25 existing lines in 4 files now uncovered.

20644 of 33589 relevant lines covered (61.46%)

411126.3 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
0.0
src/arg/myARG.ml
12
0.0
src/arg/violation.ml
18
27.38
src/arg/argTools.ml
36
29.25
-15.7% src/witness/witness.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
82.14
-3.57% src/util/std/gobList.ml
7
12.96
-12.96% src/common/framework/edge.ml
8
0.0
-100.0% src/common/util/xmlUtil.ml
9
29.25
-15.7% src/witness/witness.ml
Jobs
ID Job ID Ran Files Coverage
1 3186.1 07 May 2025 03:12AM UTC 289
61.46
GitHub Action Run
Source Files on build 3186
  • Tree
  • List 289
  • Changed 9
  • Source Changed 6
  • Coverage Changed 8
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 57c94be0 on github
  • Prev Build on master (#3174)
  • Next Build on master (#3198)
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