Recached

vbpf / prevail
87%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 288 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 main
branch: SELECT
CHANGE BRANCH
x
Sync Branches

coverage: 86.605%. Remained the same
19349381683

push

github

web-flow 
Fix: Only install git hooks if .git is a directory (submodule-safe) (#954)

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

9019 of 10414 relevant lines covered (86.6%)

3908113.94 hits per line

Relevant lines Covered
10414 RELEVANT LINES 9019 COVERED LINES
3908113.94 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
19349381683 main Fix: Only install git hooks if .git is a directory (submodule-safe) (#954) Signed-off-by: Alan Jowett <alan.jowett@microsoft.com> push web-flow github
86.6
19340838864 fix-cmake-git-hooks Merge 18f67a9df into e0057596b Pull #954 web-flow github
86.6
19195181515 main Implement checks for the --line-info flag and move program selection into read_elf (#946) * Check when --line-info is used, and avoid computing btf_line_info in read_elf and unmarshall * Modify main and read_elf to avoid returning multiple RawPro... push web-flow github
86.6
19167093626 main Improve how the CFG is returned and how the loop counters are inserted in from_sequence (#945) * Modify for_each_loop_head to iter over nested loop heads, allowing from_sequence to add IncrementLoopCounter in nested components * Modify from_sequ... push web-flow github
86.91
19161536475 update_read_elf Merge 48f0d43e7 into aacd75248 Pull #946 web-flow github
86.62
19161503266 coderabbitai/docstrings/aacd752 Merge f2e10a643 into aacd75248 Pull #947 web-flow github
86.91
19160449367 main Optimize assertion creation (#944) Pass parameters by reference instead of by value when generating assertions. Signed-off-by: Maxime Derri <maxime.derri@orange.com> push web-flow github
86.92
19150656449 update_assertion_creation Merge 62e510d07 into 5085fb926 Pull #944 web-flow github
86.92
19150706789 update_cfg_computation Merge b5b32aaea into 5085fb926 Pull #945 web-flow github
86.92
19150737451 update_read_elf Merge b1b29f938 into 5085fb926 Pull #946 web-flow github
86.64
See All Builds (273)

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