goblint / analyzer / 2492
62%
master: 62%

LAST BUILD BRANCH: issue_1651
DEFAULT BRANCH: master
Ran
Jobs 1
Files 262
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
coverage: 61.988% (-0.6%) from 62.619%
2492

Pull #1394

github

web-flow 
Merge 2c25848a2 into aeb237681
Pull Request #1394: Generate flow-insensitive YAML witness invariants with ghosts for privatized variables

71 of 356 new or added lines in 18 files covered. (19.94%)

359 existing lines in 6 files now uncovered.

18822 of 30364 relevant lines covered (61.99%)

446819.57 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
77.18
 -0.52% src/analyses/mutexAnalysis.ml
1
71.85
 0.0% src/analyses/unassumeAnalysis.ml
1
55.89
 0.0% src/analyses/varEq.ml
1
65.71
 0.0% src/common/util/richVarinfo.ml
2
86.27
 -0.52% src/analyses/mCP.ml
5
79.67
 -3.38% src/lifters/longjmpLifter.ml
5
70.15
 -5.66% src/lifters/recursionTermLifter.ml
5
66.48
 -0.97% src/lifters/specLifters.ml
11
0.0
 src/witness/witnessGhost.ml
14
79.64
 -0.24% src/analyses/base.ml
19
0.0
 src/witness/witnessGhostVar.ml
22
62.43
 -4.14% src/domains/queries.ml
36
62.38
 -2.15% src/analyses/basePriv.ml
44
55.5
 -5.46% src/witness/yamlWitness.ml
56
45.1
 src/analyses/mutexGhosts.ml
62
29.85
 -11.25% src/witness/yamlWitnessType.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
79.64
 -0.24% src/analyses/base.ml
3
62.43
 -4.14% src/domains/queries.ml
24
79.05
 -0.95% src/relationAnalysis.ml
59
29.85
 -11.25% src/witness/yamlWitnessType.ml
92
55.5
 -5.46% src/witness/yamlWitness.ml
180
69.2
 -2.25% src/relationPriv.ml
Jobs
ID Job ID Ran Files Coverage
1 2492.1 262
61.99
 GitHub Action Run
Source Files on build 2492