vbpf / prevail
88%
main: 88%

LAST BUILD BRANCH: detach-type-domain
DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 118 Last
Files 73
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 detach-type-domain
branch: SELECT
CHANGE BRANCH
x
Sync Branches

coverage: 88.339% (-0.06%) from 88.395%
18224198755

Pull #916

github

web-flow 
Merge 0071f0908 into 76c49ccf2
Pull Request #916: Introduce TypeToNumDomain

1315 of 1382 new or added lines in 14 files covered. (95.15%)

16 existing lines in 5 files now uncovered.

8901 of 10076 relevant lines covered (88.34%)

18348198.59 hits per line

Relevant lines Covered
10076 RELEVANT LINES 8901 COVERED LINES
18348198.59 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
18224198755 detach-type-domain Merge 0071f0908 into 76c49ccf2 Pull #916 web-flow github
88.34
18158284330 catch2-3.11.0 Merge d4b411530 into 76acd5c30 Pull #917 web-flow github
88.4
17890056096 main fix type-aware operator| (join) and operator<= (#915) * fix join and subsumption for EbpfDomain * make sure join and subsumption treat dependent kind variables precisely (as a Reduced Cartesian Power) * add test_join.cpp * add test_subsumption.cp... push web-flow github
88.4
17886679546 test-join Merge 16000dcff into 26f2e8db3 Pull #915 web-flow github
88.4
17886496782 test-join Merge 0978614f0 into 26f2e8db3 Pull #915 web-flow github
88.39
17886370257 test-join Merge 630a82870 into 26f2e8db3 Pull #915 web-flow github
88.34
17883274687 main Bump external/bpf_conformance from `d280fcd` to `498ee85` Bumps [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) from `d280fcd` to `498ee85`. - [Release notes](https://github.com/Alan-Jowett/bpf_conformance/releases) - [... push elazarg github
88.18
17881913914 dependabot/submodules/external/bpf_conformance-498ee85 Merge a08a6a21c into 68221b925 Pull #914 web-flow github
88.18
17840422331 main Replace has_type with may_have_type (#913) * s/has_type/may_have_type/g * accept coderabbit's fix: only zero-extend dst in 32bit operations when entails(number), not when maybe(number); !maybe(number) requires havoc(). (This assumes pointer arith... push web-flow github
88.18
17779400754 may_have_type Merge c52ce314f into 50855d690 Pull #913 web-flow github
88.18
See All Builds (111)

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