goblint / analyzer
62%
master: 62%

LAST BUILD BRANCH: issue-1591
DEFAULT BRANCH: master
Repo Added
Files 271
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 traces-vojdani
branch: traces-vojdani
CHANGE BRANCH
x

coverage: 62.078% (-0.09%) from 62.172%
2717

Pull #1552

github

web-flow 
Merge c6a2c9e34 into 91bbf20ba
Pull Request #1552: Optimize `none` base privatization, add eager Vojdani privatization

35 of 95 new or added lines in 3 files covered. (36.84%)

35 existing lines in 2 files now uncovered.

18920 of 30478 relevant lines covered (62.08%)

445215.76 hits per line

Relevant lines Covered
30478 RELEVANT LINES 18920 COVERED LINES
445215.76 HITS PER LINE
Source Files on traces-vojdani

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2717 traces-vojdani Merge c6a2c9e34 into 91bbf20ba Pull #1552 web-flow github
62.08
2685 traces-vojdani Merge 040772c5f into 3068dcb1a Pull #1552 web-flow github
62.08
2394 traces-vojdani Merge 7a595a139 into 9a8dd4e63 Pull #1552 web-flow github
62.56
2393 traces-vojdani Merge 5e7c5c7bd into 9a8dd4e63 Pull #1552 web-flow github
62.56
2270 traces-vojdani Merge 1e70e3327 into f27ae524d Pull #1552 web-flow github
62.55
2203 traces-vojdani Merge 0c29208b7 into 3ad6b3966 Pull #1552 web-flow github
62.48
2198 traces-vojdani Merge 7d6b8948c into d46438a3c Pull #1552 web-flow github
62.48
See All Builds (1544)