You are now the owner of this repo.

vbpf / prevail
87%
main: 87%

LAST BUILD BRANCH: fix/wto-iterative-consumers
DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 899 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/wto-iterative-consumers
branch: SELECT
CHANGE BRANCH
x
Sync Branches

coverage: 86.501% (+0.03%) from 86.472%
28870227820

Pull #1181

github

web-flow 
Merge a6221892b into 445cc9e75
Pull Request #1181: Make WTO consumers iterative to avoid stack overflow on crafted CFGs

21 of 33 new or added lines in 3 files covered. (63.64%)

57 existing lines in 4 files now uncovered.

9157 of 10586 relevant lines covered (86.5%)

6465321.37 hits per line

Relevant lines Covered
10586 RELEVANT LINES 9157 COVERED LINES
6465321.37 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
28870227820 fix/wto-iterative-consumers Merge a6221892b into 445cc9e75 Pull #1181 web-flow github
86.5
28867867633 main Havoc the stack per-type for a multi-typed PTR_TO_WRITABLE_MEM argument (#1176) The PTR_TO_WRITABLE_MEM helper-argument case computed the target address with the no-type primary_kind_variable_for_type(param.mem) and bailed when it returned nullop... push web-flow github
86.52
28866098469 main Guard Exit assertion handler against a missing label The AssertExtractor Exit handler dereferenced current_label (a std::optional<Label>) without checking has_value(). The only call site that passes std::nullopt currently passes a Call, not an Ex... push elazarg github
86.53
28866055625 main Flip infinite bound sign in ExtendedNumber signed division ExtendedNumber::AbsDiv returned the dividend's own infinity unchanged when dividing an infinite bound by a finite divisor, so -oo / (negative) yielded -oo instead of +oo. The signed-singl... push elazarg github
86.53
28865547083 main Fix conformance-group selection in the CLI Two defects in src/main.cpp conformance-group handling: 1. --exclude_groups intersected instead of removing: `&= group` narrowed the supported set down to just `group` (e.g. `--exclude_groups packet`... push elazarg github
86.51
28864319397 main Fix TypeDomain::is_subsumed_by for unsatisfied type-equality classes is_subsumed_by (backing operator<=) could report self <= other when false, inverting the lattice order. In the equality-preservation loop, when other has a multi-member class (t... push elazarg github
86.51
28858950884 fix/install-ci Merge 3a76edf98 into bdb509abb Pull #1188 web-flow github
86.47
28855276227 fix/install-ci Merge fe1de2b32 into bdb509abb Pull #1188 web-flow github
86.47
28854497785 fix/install-ci Merge b35b334f2 into bdb509abb Pull #1188 web-flow github
86.47
28851690595 fix/install-ci Merge be2748260 into bdb509abb Pull #1188 web-flow github
86.47
See All Builds (877)

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