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

goblint / analyzer / 3153
66%

Build:
DEFAULT BRANCH: master
Ran 19 Apr 2025 02:56AM UTC
Jobs 1
Files 290
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

18 Apr 2025 12:40PM UTC coverage: 61.699% (-0.2%) from 61.883%
3153

push

github

web-flow
Merge pull request #1731 from goblint/delay-widening-cleanup

Use generic `Spec` lifters for delayed widening

15 of 29 new or added lines in 2 files covered. (51.72%)

67 existing lines in 10 files now uncovered.

20843 of 33782 relevant lines covered (61.7%)

408806.46 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
5
60.87
-5.8% src/lifters/wideningDelay.ml
9
64.17
-1.74% src/lifters/specLifters.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
52.75
0.0% src/common/util/messages.ml
1
40.0
-2.5% src/framework/resultQuery.ml
1
78.95
-0.24% src/relationAnalysis.ml
2
86.27
-0.6% src/analyses/mCP.ml
4
79.66
-0.23% src/analyses/base.ml
4
61.13
-1.13% src/domains/queries.ml
4
76.42
-3.25% src/lifters/longjmpLifter.ml
5
64.17
-1.74% src/lifters/specLifters.ml
13
31.31
-2.91% src/witness/yamlWitnessType.ml
32
50.0
-6.54% src/witness/yamlWitness.ml
Jobs
ID Job ID Ran Files Coverage
1 3153.1 19 Apr 2025 02:56AM UTC 290
61.7
GitHub Action Run
Source Files on build 3153
  • Tree
  • List 290
  • Changed 12
  • Source Changed 2
  • Coverage Changed 12
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 4882dd36 on github
  • Prev Build on master (#3151)
  • Next Build on master (#3155)
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