goblint / analyzer / 3885
65%
master: 66%

LAST BUILD BRANCH: copilot/skip-ci-jobs-for-docs-changes
DEFAULT BRANCH: master
Ran
Jobs 1
Files 303
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.525% (-3.8%) from 65.364%
3885

Pull #1891

github

web-flow 
Merge cafb541ae into 335469c96
Pull Request #1891: Introduce `let@` binding operator

18 of 25 new or added lines in 14 files covered. (72.0%)

1424 existing lines in 81 files now uncovered.

20927 of 34014 relevant lines covered (61.52%)

405837.47 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
63.42
 -12.19% src/analyses/basePriv.ml
1
71.1
 0.0% src/autoTune.ml
1
85.6
 -3.29% src/solver/sLR.ml
1
1.47
 -89.57% src/transform/deadCode.ml
1
76.12
 0.0% src/transform/evalAssert.ml
2
57.14
 -17.71% src/common/framework/cfgTools.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
71.43
 -14.29% src/analyses/mHPAnalysis.ml
1
96.77
 -3.23% src/analyses/threadFlag.ml
1
31.25
 -6.25% src/cdomains/threadFlagDomain.ml
1
75.0
 -12.5% src/cdomain/value/analyses/wrapperFunctionAnalysis0.ml
1
72.59
 -0.13% src/cdomain/value/cdomains/floatDomain.ml
1
88.93
 -0.33% src/cdomain/value/cdomains/int/intDomTuple.ml
1
78.62
 -0.63% src/cdomain/value/cdomains/threadIdDomain.ml
1
67.65
 -2.94% src/common/util/richVarinfo.ml
1
47.06
 -5.88% src/domain/boolDomain.ml
1
42.86
 -14.29% src/solver/solverBox.ml
1
67.86
 -3.57% src/util/std/gobList.ml
2
94.44
 -2.78% src/analyses/wrapperFunctionAnalysis.ml
2
81.48
 -3.7% src/cdomains/lockDomain.ml
2
79.07
 -4.65% src/cdomains/mHP.ml
2
33.33
 -9.52% src/common/util/cilLocation.ml
2
66.86
 -1.16% src/config/gobConfig.ml
2
74.0
 -0.67% src/domains/access.ml
2
40.0
 -5.0% src/framework/resultQuery.ml
2
90.91
 -6.06% src/solver/effectWConEq.ml
2
6.36
 -0.45% src/util/server.ml
2
66.67
 -11.11% src/util/std/gobYojson.ml
3
35.48
 -9.68% src/common/framework/node.ml
3
75.37
 -0.5% src/solver/td3.ml
3
51.79
 -5.36% src/util/logs/logs.ml
3
70.0
 -6.0% src/witness/svcompSpec.ml
4
75.2
 -3.2% src/analyses/commonPriv.ml
4
86.57
 -1.19% src/analyses/mCP.ml
4
79.31
 -4.6% src/analyses/threadId.ml
4
0.0
 -57.14% src/framework/analysisResult.ml
4
36.36
 -36.36% src/witness/yamlWitnessVersion.ml
5
52.75
 -2.75% src/common/util/messages.ml
6
59.73
 -4.03% src/arg/argConstraints.ml
6
65.95
 -0.59% src/cdomain/value/cdomains/arrayDomain.ml
6
75.06
 -1.47% src/cdomain/value/cdomains/intDomain0.ml
6
90.63
 0.0% src/util/library/libraryFunctions.ml
7
28.41
 -7.95% src/common/cdomains/basetype.ml
7
59.09
 -3.98% src/domain/setDomain.ml
7
6.67
 -15.56% src/framework/analysisResultOutput.ml
7
85.6
 -3.29% src/solver/sLR.ml
8
52.83
 -5.03% src/analyses/mCPRegistry.ml
8
72.88
 -13.56% src/cdomain/value/domains/invariantCil.ml
8
0.0
 -100.0% src/common/util/xmlUtil.ml
8
19.65
 -2.02% src/domain/disjointDomain.ml
8
77.24
 -6.5% src/lifters/longjmpLifter.ml
9
25.93
 -16.67% src/cdomains/baseDomain.ml
10
33.05
 -2.82% src/domain/mapDomain.ml
11
71.65
 -1.24% src/cdomain/value/cdomains/valueDomain.ml
11
46.43
 -39.29% src/cdomain/value/domains/invariant.ml
11
65.4
 -3.0% src/lifters/specLifters.ml
11
0.0
 -100.0% src/witness/witnessGhost.ml
11
31.82
 -10.0% src/witness/witness.ml
12
65.17
 -3.6% src/apronDomain.ml
12
39.1
 -3.58% src/common/domains/printable.ml
13
62.41
 -3.26% src/common/util/cilfacade.ml
13
0.0
 -68.42% src/witness/witnessGhostVar.ml
14
61.76
 -3.74% src/framework/control.ml
15
12.96
 -27.78% src/common/framework/edge.ml
18
80.24
 -1.01% src/analyses/base.ml
18
57.63
 -5.08% src/maingoblint.ml
19
59.62
 -36.54% src/gobApron.ml
19
69.26
 -2.69% src/relationPriv.ml
20
78.34
 -12.74% src/analyses/mutexAnalysis.ml
21
56.19
 -5.41% src/analyses/varEq.ml
25
61.33
 -6.91% src/domains/queries.ml
25
3.57
 -89.29% src/solver/worklist.ml
28
80.29
 -6.73% src/relationAnalysis.ml
29
77.03
 -0.71% src/sharedFunctions.ml
42
60.15
 -15.79% src/witness/yamlWitness.ml
43
27.38
 -51.19% src/arg/argTools.ml
44
1.35
 -59.46% src/solver/topDown_term.ml
47
45.1
 -46.08% src/analyses/mutexGhosts.ml
49
0.97
 -47.57% src/solver/td_simplified_ref.ml
51
0.87
 -44.35% src/solver/td_simplified.ml
57
1.1
 -62.64% src/solver/topDown_deprecated.ml
59
1.09
 -64.13% src/solver/topDown.ml
60
57.14
 -17.71% src/common/framework/cfgTools.ml
60
1.47
 -89.57% src/transform/deadCode.ml
69
0.89
 -61.61% src/solver/topDown_space_cache_term.ml
79
26.42
 -19.51% src/witness/yamlWitnessType.ml
100
0.0
 -57.8% src/arg/myARG.ml
129
63.42
 -12.19% src/analyses/basePriv.ml
Jobs
ID Job ID Ran Files Coverage
1 3885.1 303
61.52
 GitHub Action Run
Source Files on build 3885