vbpf / prevail / 18700481519
87%
main: 87%

LAST BUILD BRANCH: update_read_elf
DEFAULT BRANCH: main
Ran
Jobs 2
Files 74
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 87.274% (-0.6%) from 87.867%
18700481519

Pull #930

github

web-flow 
Merge d7129b828 into 3cc28c27e
Pull Request #930: Refactor: Replace assertion warnings with exception-based errors

124 of 138 new or added lines in 9 files covered. (89.86%)

93 existing lines in 14 files now uncovered.

8991 of 10302 relevant lines covered (87.27%)

10801346.61 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
88.82
 -2.69% src/crab/rcp.cpp
3
74.6
 -3.36% src/crab_verifier.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
74.6
 -3.36% src/crab_verifier.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
3
88.46
 0.0% src/crab_verifier.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
10
87.25
 0.94% src/crab/fwd_analyzer.cpp
13
74.47
 -4.61% src/crab/interval.cpp
40
93.84
 -2.62% src/crab/ebpf_transformer.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 18700481519.1 73
86.38
 GitHub Action Run
2 run-Debug - 18700481519.2 74
84.98
 GitHub Action Run
Source Files on build 18700481519