vbpf / prevail / 14453768386
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.19% (-0.02%) from 88.208%
14453768386

push

github

elazarg 
rename namspace crab => prevail

* remove inner namespace crab::domains

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

129 of 140 new or added lines in 22 files covered. (92.14%)

1 existing line in 1 file now uncovered.

8632 of 9788 relevant lines covered (88.19%)

9030086.41 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
78.95
 0.0% src/asm_parse.cpp
1
75.0
 0.0% src/linux/linux_platform.cpp
4
67.8
 0.0% src/crab_verifier.cpp
5
53.62
 -0.15% src/asm_ostream.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
67.8
 0.0% src/crab_verifier.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 14453768386.1 69
86.09
 GitHub Action Run
2 run-Release - 14453768386.2 68
87.29
 GitHub Action Run
Source Files on build 14453768386