vbpf / prevail / 26196301499
87%
main: 86%

LAST BUILD BRANCH: bulk-rename-callee-saved
DEFAULT BRANCH: main
Ran
Jobs 2
Files 77
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: 86.641% (+0.001%) from 86.64%
26196301499

Pull #1116

github

web-flow 
Merge e3c68cef8 into 639c0c41a
Pull Request #1116: Thread stack cell registry through AnalysisContext

79 of 80 new or added lines in 5 files covered. (98.75%)

26 existing lines in 2 files now uncovered.

9333 of 10772 relevant lines covered (86.64%)

6272665.0 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
92.25
 0.03% src/crab/ebpf_transformer.cpp

Coverage Regressions

Lines Coverage ∆ File
20
88.52
 0.07% src/crab/array_domain.cpp
6
94.9
 -0.19% src/fwd_analyzer.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 26196301499.1 77
85.71
 GitHub Action Run
2 run-Debug - 26196301499.2 77
84.67
 GitHub Action Run
Source Files on build 26196301499