Info updated!

vbpf / prevail
87%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 286 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% (-0.3%) from 86.911%
Relevant lines Covered
10414 RELEVANT LINES 9019 COVERED LINES
3908053.57 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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
19040038659 resolve_by_name Merge da04fe27d into 5085fb926 Pull #939 web-flow github
86.94
19038075562 resolve_by_name Merge fdb0343eb into 5085fb926 Pull #939 web-flow github
86.96
See All Builds (271)

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