goblint / analyzer / 1589
62%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 249
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: 62.574%. Remained the same
1589

push

github

web-flow 
Merge pull request #1393 from goblint/newlines

Automatically add newline to trace output

6 of 464 new or added lines in 41 files covered. (1.29%)

88 existing lines in 3 files now uncovered.

18385 of 29381 relevant lines covered (62.57%)

461046.63 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
59.26
 0.0% src/analyses/condVars.ml
1
66.47
 0.0% src/cdomain/value/cdomains/arrayDomain.ml
1
81.75
 0.0% src/cdomain/value/cdomains/offset.ml
1
53.69
 0.0% src/cdomains/symbLocksDomain.ml
1
72.15
 0.0% src/framework/analyses.ml
1
54.55
 0.0% src/witness/argTools.ml
2
89.13
 0.0% src/analyses/taintPartialContexts.ml
2
73.25
 0.0% src/cdomain/value/cdomains/floatDomain.ml
3
86.79
 0.0% src/analyses/threadEscape.ml
3
72.73
 0.0% src/solver/postSolver.ml
4
82.76
 0.0% src/analyses/symbLocks.ml
4
72.22
 0.0% src/analyses/tmpSpecial.ml
4
67.26
 0.0% src/config/gobConfig.ml
4
43.8
 0.0% src/witness/witness.ml
5
89.71
 0.0% src/analyses/accessAnalysis.ml
5
63.38
 0.0% src/incremental/compareAST.ml
6
62.15
 0.0% src/framework/control.ml
6
85.37
 0.0% src/solver/sLR.ml
6
77.39
 0.0% src/solver/sLRterm.ml
7
82.05
 0.0% src/solver/sLRphased.ml
7
56.94
 0.0% src/witness/witnessConstraints.ml
8
7.34
 0.0% src/solver/generic.ml
9
55.89
 0.0% src/analyses/varEq.ml
9
62.98
 0.0% src/cdomain/value/cdomains/structDomain.ml
10
86.21
 0.0% src/analyses/mCP.ml
10
79.79
 0.0% src/cdomain/value/cdomains/addressDomain.ml
10
74.58
 0.0% src/domains/access.ml
10
1.35
 0.0% src/solver/topDown_term.ml
13
1.1
 0.0% src/solver/topDown_deprecated.ml
15
72.0
 0.0% src/cdomain/value/cdomains/valueDomain.ml
15
57.77
 0.0% src/common/framework/cfgTools.ml
15
0.89
 0.0% src/solver/topDown_space_cache_term.ml
16
1.09
 0.0% src/solver/topDown.ml
18
67.17
 0.0% src/framework/constraints.ml
22
77.96
 0.0% src/cdomain/value/cdomains/intDomain.ml
32
76.32
 0.0% src/analyses/baseInvariant.ml
43
74.52
 0.0% src/solver/td3.ml
59
56.03
 0.0% src/analyses/basePriv.ml
70
80.14
 0.0% src/analyses/base.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
1.1
 0.0% src/solver/topDown_deprecated.ml
2
1.09
 0.0% src/solver/topDown.ml
85
72.0
 0.0% src/cdomain/value/cdomains/valueDomain.ml
Jobs
ID Job ID Ran Files Coverage
1 1589.1 249
62.57
 GitHub Action Run
Source Files on build 1589