vbpf / prevail / 24961109656
89%
main: 87%

LAST BUILD BRANCH: feat/linear-relation-domain
DEFAULT BRANCH: main
Ran
Jobs 2
Files 111
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: 89.278% (+0.1%) from 89.183%
24961109656

Pull #1101

github

web-flow 
Merge 583f56512 into e7046de42
Pull Request #1101: Split runtime semantics from presentation/orchestration (#1085)

198 of 203 new or added lines in 29 files covered. (97.54%)

111 existing lines in 11 files now uncovered.

13772 of 15426 relevant lines covered (89.28%)

4377139.82 hits per line

Uncovered Changes

Lines Coverage ∆ File
2
75.46
 0.0% src/test/ebpf_yaml.cpp
1
92.22
 0.0% src/crab/ebpf_transformer.cpp
1
57.2
 0.0% src/printing.cpp
1
77.04
 0.0% src/result.cpp

Coverage Regressions

Lines Coverage ∆ File
33
88.45
 0.0% src/crab/array_domain.cpp
31
81.99
 0.0% src/crab/ebpf_domain.cpp
11
90.7
 0.0% src/ir/assertions.cpp
11
88.17
 0.0% src/ir/cfg_builder.cpp
8
84.83
 -0.1% src/linux/linux_platform.cpp
8
94.27
 0.0% src/test/test_failure_slice.cpp
4
95.09
 0.0% src/fwd_analyzer.cpp
2
96.99
 0.0% src/ir/unmarshal.cpp
1
94.12
 0.0% src/result.hpp
1
99.89
 0.0% src/test/test_marshal.cpp
1
50.0
 0.0% src/verifier.hpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 24961109656.1 111
87.6
 GitHub Action Run
2 run-Release - 24961109656.2 111
88.53
 GitHub Action Run
Source Files on build 24961109656