vbpf / ebpf-verifier / 13955273819
87%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 67
Run time 3min
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: 88.66% (+0.5%) from 88.134%
13955273819

push

github

web-flow 
Fix sign extension (#850)

* fix sign extension
* add exhaustive tests for sign extension of <=3 bits
* fix interval::size()
* streamline bit/width operations

---------
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

203 of 214 new or added lines in 9 files covered. (94.86%)

9 existing lines in 5 files now uncovered.

8639 of 9744 relevant lines covered (88.66%)

8977818.22 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
53.77
 0.19% src/asm_ostream.cpp
2
93.94
 -1.67% src/crab_utils/num_extended.hpp
4
79.08
 0.83% src/crab/interval.cpp
4
95.06
 0.12% src/crab/split_dbm.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
84.96
 1.77% src/crab/add_bottom.hpp
1
78.38
 0.0% src/crab/ebpf_domain.cpp
2
53.77
 0.19% src/asm_ostream.cpp
2
92.86
 0.55% src/crab/interval.hpp
3
95.06
 0.12% src/crab/split_dbm.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 13955273819.1 67
86.62
 GitHub Action Run
2 run-Release - 13955273819.2 66
87.86
 GitHub Action Run
Source Files on build 13955273819