vbpf / prevail / 14690203986
87%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 69
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.152% (-0.009%) from 88.161%
14690203986

push

github

elazarg 
Use PascalCase for type names.

Added a script for automatic renaming, to help with the code churn.

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

1797 of 1953 new or added lines in 54 files covered. (92.01%)

13 existing lines in 9 files now uncovered.

8579 of 9732 relevant lines covered (88.15%)

9068930.42 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
91.3
 0.0% src/cfg/wto.hpp
1
52.5
 0.0% src/crab/bitset_domain.cpp
1
91.84
 -0.32% src/crab/bitset_domain.hpp
1
86.32
 -0.14% src/crab/fwd_analyzer.cpp
1
89.13
 0.0% src/crab/type_domain.cpp
1
0.0
 0.0% src/crab_utils/debug.hpp
1
0.0
 0.0% src/crab_utils/num_safeint.hpp
2
86.3
 0.0% src/asm_syntax.hpp
2
96.25
 -0.03% src/crab/ebpf_transformer.cpp
2
92.86
 -0.14% src/crab/interval.hpp
2
65.22
 -1.45% src/crab/linear_constraint.hpp
2
75.32
 -0.32% src/crab/linear_expression.hpp
2
73.36
 0.0% src/test/ebpf_yaml.cpp
3
90.15
 -0.15% src/cfg/wto.cpp
3
96.59
 0.29% src/crab/finite_domain.cpp
3
82.0
 -0.35% src/crab/var_factory.cpp
3
96.0
 0.0% src/crab_utils/adapt_sgraph.hpp
3
67.24
 -0.56% src/crab_verifier.cpp
4
93.65
 0.0% src/crab_utils/graph_ops.hpp
5
94.81
 -0.01% src/crab/split_dbm.cpp
6
87.37
 0.0% src/crab_utils/num_big.hpp
9
78.76
 0.0% src/asm_parse.cpp
9
53.57
 0.0% src/cfg/cfg.hpp
11
64.79
 0.0% src/asm_cfg.cpp
11
53.32
 -0.23% src/asm_ostream.cpp
12
85.51
 0.0% src/asm_marshal.cpp
13
88.92
 0.36% src/crab/array_domain.cpp
18
79.08
 0.0% src/crab/interval.cpp
24
76.36
 -0.11% src/crab/ebpf_domain.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
64.79
 0.0% src/asm_cfg.cpp
1
78.76
 0.0% src/asm_parse.cpp
1
90.15
 -0.15% src/cfg/wto.cpp
1
88.92
 0.36% src/crab/array_domain.cpp
1
96.59
 0.29% src/crab/finite_domain.cpp
1
96.0
 0.0% src/crab_utils/adapt_sgraph.hpp
2
79.08
 0.0% src/crab/interval.cpp
2
65.22
 -1.45% src/crab/linear_constraint.hpp
3
94.81
 -0.01% src/crab/split_dbm.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 14690203986.1 68
87.24
 GitHub Action Run
2 run-Debug - 14690203986.2 69
86.07
 GitHub Action Run
Source Files on build 14690203986