goblint
/
analyzer
/
643
62%
|
Ran
|
Jobs
1
|
Files
201
|
Run time
6s
|
Badge
Embed ▾
README BADGES
|
coverage: 61.36% (+0.09%) from 61.269%
push
github
Michael Schwarz
16412 of 26747 relevant lines covered (61.36%)
54820.01 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
23.08 |
-1.92% | src/witness/svcomp.ml |
| 13 |
65.91 |
-5.89% | src/analyses/memLeak.ml |
| 17 |
40.43 |
-4.57% | src/witness/svcompSpec.ml |
| 21 |
77.42 |
-0.68% | src/analyses/useAfterFree.ml |
| 26 |
50.66 |
1.52% | src/witness/witness.ml |
| 31 |
69.2 |
0.26% | src/cdomains/arrayDomain.ml |
| 50 |
65.73 |
-4.53% | src/autoTune.ml |
| 65 |
53.62 |
0.11% | src/maingoblint.ml |
| 69 |
70.93 |
0.71% | src/analyses/memOutOfBounds.ml |
| 149 |
82.77 |
0.25% | src/analyses/base.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 643.1 | 201 |
61.36 |
GitHub Action Run |
