vbpf / prevail / 22199430037
88%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 80
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: 88.26% (+0.04%) from 88.223%
22199430037

push

github

web-flow 
callbacks (#1022)

* Expand Linux platform tables and unalias helper ABI type classes
* Implement PTR_TO_FUNC callback validation and LDDW code_addr typing
* callbacks: keep code_addr pseudo assertions aligned with tests

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

157 of 162 new or added lines in 9 files covered. (96.91%)

19 existing lines in 2 files now uncovered.

11405 of 12922 relevant lines covered (88.26%)

2081463.95 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
91.53
 -0.03% src/crab/ebpf_checker.cpp
1
58.51
 -0.02% src/printing.cpp
1
76.51
 -0.24% src/result.cpp
2
93.88
 1.36% src/ir/assertions.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
93.88
 1.36% src/ir/assertions.cpp
18
71.43
 -21.79% src/arith/linear_expression.hpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 22199430037.1 80
87.45
 GitHub Action Run
2 run-Debug - 22199430037.2 80
86.15
 GitHub Action Run
Source Files on build 22199430037