Alan-Jowett
/
ebpf-verifier
/
19036509529
87%
|
Ran
|
Jobs
2
|
Files
74
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 86.936% (-0.5%) from 87.448%
push
github
elazargBump external/libbtf from `b674148` to `04281ee` Bumps [external/libbtf](https://github.com/Alan-Jowett/libbtf) from `b674148` to `04281ee`. - [Release notes](https://github.com/Alan-Jowett/libbtf/releases) - [Commits](https://github.com/Alan-Jowett/libbtf/compare/b6741487e...<a class=hub.com/Alan-Jowett/ebpf-verifier/commit/04281ee7a91595911807897b4ca2e7483cf97497">04281ee7a) --- updated-dependencies: - dependency-name: external/libbtf dependency-version: '04281ee7a91595911807897b4ca2e7483cf97497' dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
9044 of 10403 relevant lines covered (86.94%)
3989157.54 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
86.6 |
0.1% | src/crab/array_domain.cpp |
| 2 |
93.48 |
-1.98% | src/crab/type_domain.hpp |
| 3 |
90.32 |
4.61% | src/crab/split_dbm.hpp |
| 3 |
85.0 |
0.79% | src/string_constraints.hpp |
| 4 |
70.51 |
-5.13% | src/arith/linear_expression.hpp |
| 4 |
85.71 |
-14.29% | src/crab/rcp.hpp |
| 5 |
90.74 |
-1.57% | src/crab/bitset_domain.hpp |
| 6 |
52.5 |
0.0% | src/crab/bitset_domain.cpp |
| 8 |
90.91 |
-3.03% | src/arith/num_extended.hpp |
| 12 |
71.11 |
-9.97% | src/crab/finite_domain.hpp |
| 17 |
70.27 |
-4.73% | src/crab/add_bottom.hpp |
| 21 |
81.6 |
-5.77% | src/arith/num_big.hpp |
| 21 |
86.19 |
-2.64% | src/crab/rcp.cpp |
| 23 |
74.83 |
0.36% | src/crab/interval.cpp |
| 28 |
95.48 |
-1.11% | src/crab/finite_domain.cpp |
| 44 |
74.4 |
-1.23% | src/crab/ebpf_domain.cpp |
| 45 |
93.97 |
-1.51% | src/crab/split_dbm.cpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Debug - 19036509529.1 | 74 |
84.58 |
GitHub Action Run | |
| 2 | run-Release - 19036509529.2 | 73 |
86.08 |
GitHub Action Run |
