vbpf / prevail / 18701060665
87%
main: 87%

LAST BUILD BRANCH: lib
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.316% (-0.6%) from 87.867%
18701060665

Pull #930

github

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

126 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%)

10799893.39 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-Debug - 18701060665.1 74
85.01
 GitHub Action Run
2 run-Release - 18701060665.2 73
86.43
 GitHub Action Run
Source Files on build 18701060665