vbpf / prevail / 26400181225
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.439% (-0.02%) from 86.456%
26400181225

Pull #1118

github

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

46 of 50 new or added lines in 4 files covered. (92.0%)

2 existing lines in 1 file now uncovered.

8924 of 10324 relevant lines covered (86.44%)

6844832.92 hits per line

Uncovered Changes

Lines Coverage ∆ File
3
93.33
 -1.57% src/fwd_analyzer.cpp
1
96.15
 src/crab/extrapolator.cpp

Coverage Regressions

Lines Coverage ∆ File
2
93.33
 -1.57% src/fwd_analyzer.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 26400181225.1 79
85.56
 GitHub Action Run
2 run-Debug - 26400181225.2 79
84.67
 GitHub Action Run
Source Files on build 26400181225