vbpf / prevail
86%
main: 86%

LAST BUILD BRANCH: fix/elf-subprogram-reloc-identity
DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 859 Last
Files 79
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

LAST BUILD ON BRANCH fix/array-domain-weak-havoc-width
branch: fix/array-domain-weak-havoc-width
CHANGE BRANCH
x
Sync Branches

coverage: 86.411%. Remained the same
28573093488

Pull #1160

github

web-flow 
Merge 8469c2c08 into 865b701e7
Pull Request #1160: Fix width argument in weak type-store havoc

1 of 1 new or added line in 1 file covered. (100.0%)

9138 of 10575 relevant lines covered (86.41%)

6471627.46 hits per line

Relevant lines Covered
10575 RELEVANT LINES 9138 COVERED LINES
6471627.46 HITS PER LINE
Source Files on fix/array-domain-weak-havoc-width

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
28573093488 fix/array-domain-weak-havoc-width Merge 8469c2c08 into 865b701e7 Pull #1160 web-flow github
86.41
See All Builds (838)

Badge your Repo: prevail

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
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

Refresh