Ran
|
Jobs
1
|
Files
175
|
Run time
12s
|
Badge
Embed ▾
README BADGES
|
github
4 of 14 new or added lines in 3 files covered. (28.57%)
10 existing lines in 3 files now uncovered.14903 of 23694 relevant lines covered (62.9%)
56020.9 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
3 |
80.95 |
-0.65% | src/cdomains/offset.ml |
7 |
75.81 |
-1.21% | src/analyses/baseInvariant.ml |
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
73.09 |
-0.23% | src/cdomains/valueDomain.ml |
3 |
69.62 |
-0.14% | src/cdomains/intDomain.ml |
5 |
67.05 |
-0.73% | src/cdomains/floatDomain.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 944.1 | 175 |
62.9 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|