goblint / analyzer
62%

DEFAULT BRANCH: master
Repo Added
Files 270
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 master
branch: SELECT
CHANGE BRANCH
x

coverage: 62.168%. Remained the same
2700

push

github

web-flow 
Merge pull request #1580 from goblint/issue-1577

Add termination analysis success messages for loop bounds

10 of 14 new or added lines in 1 file covered. (71.43%)

5 existing lines in 1 file now uncovered.

18906 of 30411 relevant lines covered (62.17%)

446204.76 hits per line

Relevant lines Covered
30411 RELEVANT LINES 18906 COVERED LINES
446204.76 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2700 master Merge pull request #1580 from goblint/issue-1577 Add termination analysis success messages for loop bounds push web-flow github
62.17
2696 master Merge pull request #1580 from goblint/issue-1577 Add termination analysis success messages for loop bounds push web-flow github
62.17
2695 master Merge pull request #1580 from goblint/issue-1577 Add termination analysis success messages for loop bounds push web-flow github
62.17
2690 master Merge pull request #1580 from goblint/issue-1577 Add termination analysis success messages for loop bounds push web-flow github
62.17
2689 affineeq-refine Merge e9100c685 into 91bbf20ba Pull #1635 web-flow github
62.22
2685 traces-vojdani Merge 040772c5f into 3068dcb1a Pull #1552 web-flow github
62.08
2680 master Merge pull request #1640 from goblint/mine-W-noinit-threadenter Fix `mine-W-noinit` not resetting W in `threadenter` push web-flow github
62.17
2675 fix-apron-overflows Merge 984bae978 into e36e738da Pull #1649 web-flow github
62.17
2674 fix-apron-overflows Merge 7410da727 into e36e738da Pull #1649 web-flow github
62.17
2671 affineeq-refine Merge f7666fd4a into e36e738da Pull #1635 web-flow github
62.22
See All Builds (1510)