vbpf / prevail / 26399584300
86%
main: 86%

LAST BUILD BRANCH: map-func-compat
DEFAULT BRANCH: main
Ran
Jobs 2
Files 79
Run time 1min
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
coverage: 86.448% (-0.008%) from 86.456%
26399584300

Pull #1118

github

web-flow 
Merge 6fc993b94 into 0573e07fd
Pull Request #1118: Extract Extrapolator to own fixpoint iteration policy

45 of 48 new or added lines in 4 files covered. (93.75%)

2 existing lines in 1 file now uncovered.

8924 of 10323 relevant lines covered (86.45%)

6845556.72 hits per line

Uncovered Changes

Lines Coverage ∆ File
2
94.03
 -0.87% src/fwd_analyzer.cpp
1
96.15
 src/crab/extrapolator.cpp

Coverage Regressions

Lines Coverage ∆ File
2
94.03
 -0.87% src/fwd_analyzer.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 26399584300.1 79
84.67
 GitHub Action Run
2 run-Release - 26399584300.2 79
85.57
 GitHub Action Run
Source Files on build 26399584300