vbpf / prevail / 24449547560
89%
main: 87%

LAST BUILD BRANCH: fix/alu32-soundness
DEFAULT BRANCH: main
Ran
Jobs 2
Files 106
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.129% (+0.02%) from 89.113%
24449547560

Pull #1075

github

web-flow 
Merge bca5cc29b into c0a03607f
Pull Request #1075: C++23: Use std::unreachable() instead of assert(false)

11 of 20 new or added lines in 6 files covered. (55.0%)

16 existing lines in 2 files now uncovered.

13430 of 15068 relevant lines covered (89.13%)

4564712.39 hits per line

Uncovered Changes

Lines Coverage ∆ File
6
95.61
 0.14% src/crab/finite_domain.cpp
1
91.93
 0.0% src/crab/ebpf_transformer.cpp
1
92.73
 0.0% src/crab/zone_domain.cpp
1
90.7
 -0.04% src/ir/assertions.cpp

Coverage Regressions

Lines Coverage ∆ File
15
86.4
 0.69% src/ir/marshal.cpp
1
91.93
 0.0% src/crab/ebpf_transformer.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 24449547560.1 106
87.4
 GitHub Action Run
2 run-Release - 24449547560.2 106
88.37
 GitHub Action Run
Source Files on build 24449547560