Ran
|
Jobs
1
|
Files
202
|
Run time
11s
|
Badge
Embed ▾
README BADGES
|
push
github
16566 of 27040 relevant lines covered (61.26%)
56878.47 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
93.55 |
0.44% | src/analyses/threadFlag.ml |
2 |
29.17 |
-1.27% | src/witness/svcomp.ml |
3 |
39.73 |
0.0% | src/analyses/libraryDesc.ml |
10 |
33.2 |
-0.14% | src/util/loopUnrolling.ml |
18 |
60.0 |
-4.0% | src/witness/svcompSpec.ml |
26 |
43.45 |
-1.69% | src/witness/witness.ml |
33 |
64.82 |
-1.44% | src/autoTune.ml |
36 |
86.92 |
0.01% | src/analyses/libraryFunctions.ml |
53 |
66.46 |
-1.07% | src/domains/queries.ml |
55 |
73.35 |
-0.13% | src/relationAnalysis.ml |
57 |
35.33 |
1.17% | src/framework/analyses.ml |
66 |
53.83 |
0.35% | src/maingoblint.ml |
94 |
68.31 |
0.58% | src/framework/constraints.ml |
107 |
62.46 |
0.97% | src/framework/control.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 785.1 | 202 |
61.26 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|