vbpf / prevail / 15210988909
87%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 70
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.126% (-0.02%) from 88.147%
15210988909

push

github

elazarg 
address coderabbit's comments

* test realistic forward loop started giving meta_offset=[-4098, 0] instead of meta_offset=[-oo, 0], which looks like a fixed bug
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

2 of 3 new or added lines in 1 file covered. (66.67%)

276 existing lines in 13 files now uncovered.

8565 of 9719 relevant lines covered (88.13%)

9077640.06 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
83.87
 src/crab/var_registry.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
72.73
 0.0% src/crab_utils/stats.hpp
2
83.33
 0.0% src/string_constraints.hpp
4
84.21
 0.0% src/crab/finite_domain.hpp
8
67.24
 0.0% src/crab_verifier.cpp
10
96.31
 0.04% src/crab/ebpf_checker.cpp
18
78.76
 0.0% src/asm_parse.cpp
19
89.13
 0.0% src/crab/type_domain.cpp
25
76.36
 0.0% src/crab/ebpf_domain.cpp
26
7.04
 0.0% src/crab_utils/stats.cpp
28
89.34
 0.0% src/crab/array_domain.cpp
28
96.26
 0.01% src/crab/ebpf_transformer.cpp
28
94.73
 -0.12% src/crab/split_dbm.cpp
79
53.51
 0.19% src/asm_ostream.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 15210988909.1 70
86.02
 GitHub Action Run
2 run-Release - 15210988909.2 69
87.23
 GitHub Action Run
Source Files on build 15210988909