goblint / analyzer / 3434
62%
master: 65%

LAST BUILD BRANCH: apron-unassume-extra-trivial
DEFAULT BRANCH: master
Ran
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
coverage: 61.547% (+0.01%) from 61.533%
3434

Pull #1443

github

web-flow 
Merge 9dc360c05 into 7fe1a0568
Pull Request #1443: Switch from `BatEnum` to `Seq`

34 of 73 new or added lines in 18 files covered. (46.58%)

92 existing lines in 6 files now uncovered.

20913 of 33979 relevant lines covered (61.55%)

406508.68 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
56.94
 0.0% src/common/framework/cfgTools.ml
1
85.25
 -0.06% src/solver/sLR.ml
1
82.05
 0.0% src/solver/sLRphased.ml
1
77.39
 0.0% src/solver/sLRterm.ml
1
1.09
 0.0% src/solver/topDown.ml
1
1.1
 0.0% src/solver/topDown_deprecated.ml
1
3.57
 0.0% src/solver/worklist.ml
2
41.94
 0.0% src/util/preprocessor.ml
3
79.31
 0.9% src/analyses/threadId.ml
27
3.35
 0.07% src/analyses/extractPthread.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
41.94
 0.0% src/util/preprocessor.ml
1
15.38
 -7.69% src/util/std/gobTuple.ml
2
3.35
 0.07% src/analyses/extractPthread.ml
11
58.49
 0.31% src/gobApron.ml
36
56.07
 -0.15% src/apronDomain.ml
41
77.08
 0.0% src/sharedFunctions.ml
Jobs
ID Job ID Ran Files Coverage
1 3434.1 296
61.55
 GitHub Action Run
Source Files on build 3434