goblint
/
analyzer
/
696
62%
|
Ran
|
Jobs
1
|
Files
201
|
Run time
20s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.848%. Remained the same
push
github
web-flow70 of 111 new or added lines in 39 files covered. (63.06%)
107 existing lines in 17 files now uncovered.16062 of 26838 relevant lines covered (59.85%)
56261.2 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
65.88 |
0.0% | src/analyses/commonPriv.ml |
| 1 |
3.27 |
0.0% | src/analyses/extractPthread.ml |
| 1 |
86.48 |
0.0% | src/analyses/mCP.ml |
| 1 |
28.57 |
0.0% | src/analyses/stackTrace.ml |
| 1 |
12.04 |
0.0% | src/analyses/termination.ml |
| 1 |
75.82 |
0.0% | src/analyses/threadId.ml |
| 2 |
72.41 |
0.0% | src/analyses/abortUnless.ml |
| 2 |
59.26 |
0.0% | src/analyses/condVars.ml |
| 2 |
71.97 |
0.0% | src/analyses/fileUse.ml |
| 2 |
70.63 |
0.0% | src/analyses/malloc_null.ml |
| 2 |
1.71 |
0.0% | src/analyses/spec.ml |
| 2 |
72.97 |
0.0% | src/analyses/tmpSpecial.ml |
| 2 |
4.76 |
0.0% | src/analyses/tutorials/taint.ml |
| 2 |
74.81 |
0.0% | src/analyses/uninit.ml |
| 2 |
0.0 |
0.0% | src/witness/observerAnalysis.ml |
| 2 |
0.0 |
0.0% | src/witness/witnessConstraints.ml |
| 3 |
60.92 |
0.0% | src/framework/control.ml |
| 3 |
40.0 |
0.0% | src/framework/resultQuery.ml |
| 4 |
67.61 |
0.0% | src/framework/constraints.ml |
| 5 |
81.73 |
0.0% | src/cdomains/threadIdDomain.ml |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
72.41 |
0.0% | src/analyses/abortUnless.ml |
| 1 |
59.26 |
0.0% | src/analyses/condVars.ml |
| 1 |
71.97 |
0.0% | src/analyses/fileUse.ml |
| 1 |
70.63 |
0.0% | src/analyses/malloc_null.ml |
| 1 |
88.24 |
0.0% | src/analyses/mutexTypeAnalysis.ml |
| 1 |
1.71 |
0.0% | src/analyses/spec.ml |
| 1 |
82.76 |
0.0% | src/analyses/symbLocks.ml |
| 1 |
72.97 |
0.0% | src/analyses/tmpSpecial.ml |
| 1 |
4.76 |
0.0% | src/analyses/tutorials/taint.ml |
| 1 |
74.81 |
0.0% | src/analyses/uninit.ml |
| 1 |
55.89 |
0.0% | src/analyses/varEq.ml |
| 1 |
68.85 |
0.0% | src/util/wideningTokens.ml |
| 1 |
0.0 |
0.0% | src/witness/observerAnalysis.ml |
| 2 |
92.73 |
0.0% | src/analyses/threadAnalysis.ml |
| 12 |
81.73 |
0.0% | src/cdomains/threadIdDomain.ml |
| 20 |
65.88 |
0.0% | src/analyses/commonPriv.ml |
| 60 |
67.61 |
0.0% | src/framework/constraints.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 696.1 | 201 |
59.85 |
GitHub Action Run |
