goblint / analyzer
62%
master: 62%

LAST BUILD BRANCH: affineeq-refine
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 topdown_term
branch: topdown_term
CHANGE BRANCH
x

coverage: 62.075% (-0.6%) from 62.652%
2627

Pull #1605

github

web-flow 
Merge b0243f91c into 38442a63c
Pull Request #1605: Sanity test all solvers and fix `topdown_term`

1 of 6 new or added lines in 3 files covered. (16.67%)

1280 existing lines in 22 files now uncovered.

18869 of 30397 relevant lines covered (62.08%)

446379.11 hits per line

Relevant lines Covered
30397 RELEVANT LINES 18869 COVERED LINES
446379.11 HITS PER LINE
Source Files on topdown_term

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2627 topdown_term Merge b0243f91c into 38442a63c Pull #1605 web-flow github
62.08
2392 topdown_term Merge c348dd610 into 9a8dd4e63 Pull #1605 web-flow github
62.65
See All Builds (1510)