vbpf
/
prevail
/
18707463436
87%
|
Ran
|
Jobs
2
|
Files
74
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 87.316% (-0.6%) from 87.867%
push
github
web-flow126 of 140 new or added lines in 9 files covered. (90.0%)
59 existing lines in 11 files now uncovered.8997 of 10304 relevant lines covered (87.32%)
10799171.02 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
88.82 |
-2.69% | src/crab/rcp.cpp |
| 1 |
78.79 |
0.82% | src/crab_verifier.cpp |
| 2 |
87.38 |
1.06% | src/crab/fwd_analyzer.cpp |
| 4 |
53.22 |
0.0% | src/asm_ostream.cpp |
| 6 |
97.49 |
2.17% | src/crab/ebpf_checker.cpp |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
73.11 |
-0.53% | src/crab/ebpf_domain.cpp |
| 1 |
81.08 |
-2.7% | src/crab/finite_domain.hpp |
| 1 |
95.48 |
-0.12% | src/crab/split_dbm.cpp |
| 1 |
73.61 |
-1.39% | src/linux/linux_platform.cpp |
| 1 |
73.25 |
-0.33% | src/test/ebpf_yaml.cpp |
| 3 |
85.71 |
-8.73% | src/crab/split_dbm.hpp |
| 4 |
75.0 |
-2.88% | src/crab/add_bottom.hpp |
| 4 |
88.82 |
-2.69% | src/crab/rcp.cpp |
| 10 |
86.51 |
-2.41% | src/crab/array_domain.cpp |
| 13 |
74.47 |
-4.61% | src/crab/interval.cpp |
| 20 |
94.06 |
-2.39% | src/crab/ebpf_transformer.cpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Release - 18707463436.1 | 73 |
86.43 |
GitHub Action Run | |
| 2 | run-Debug - 18707463436.2 | 74 |
85.01 |
GitHub Action Run |
