Ran
|
Jobs
1
|
Files
245
|
Run time
36s
|
Badge
Embed ▾
README BADGES
|
github
42 of 114 new or added lines in 17 files covered. (36.84%)
16500 of 27841 relevant lines covered (59.27%)
55290.26 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
86.48 |
src/analyses/mCP.ml | |
1 |
0.0 |
src/witness/violation.ml | |
2 |
3.26 |
src/analyses/extractPthread.ml | |
2 |
51.85 |
src/transform/transform.ml | |
2 |
4.6 |
src/util/compilationDatabase.ml | |
4 |
0.0 |
src/incremental/makefileUtil.ml | |
4 |
0.0 |
src/util/precCompare.ml | |
5 |
1.19 |
src/transform/expressionEvaluation.ml | |
6 |
72.12 |
src/autoTune.ml | |
6 |
6.41 |
src/util/server.ml | |
12 |
67.02 |
src/framework/constraints.ml | |
13 |
53.7 |
src/maingoblint.ml | |
14 |
33.33 |
src/util/loopUnrolling.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 286.1 | 245 |
59.27 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|