You are now the owner of this repo.

vbpf / prevail
88%
main: 88%

LAST BUILD BRANCH: detach-type-domain
DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 122 Last
Files 74
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.336% (-0.06%) from 88.395%
18248942848

Pull #916

github

web-flow 
Merge 713c5e4fa into 29c4fd781
Pull Request #916: Introduce TypeToNumDomain

1238 of 1318 new or added lines in 14 files covered. (93.93%)

86 existing lines in 6 files now uncovered.

8899 of 10074 relevant lines covered (88.34%)

18351913.5 hits per line

Relevant lines Covered
10074 RELEVANT LINES 8899 COVERED LINES
18351913.5 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
18248942848 detach-type-domain Merge 713c5e4fa into 29c4fd781 Pull #916 web-flow github
88.34
18247564380 main Bump external/bpf_conformance from `498ee85` to `93549c2` Bumps [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) from `498ee85` to `93549c2`. - [Release notes](https://github.com/Alan-Jowett/bpf_conformance/releases) - [... push elazarg github
88.4
18246474749 dependabot/submodules/external/bpf_conformance-93549c2 Merge d51ae3eef into 76c49ccf2 Pull #919 web-flow github
88.4
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
See All Builds (114)

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