goblint / analyzer
59%
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 coverage
branch: coverage
CHANGE BRANCH
x

coverage: 59.225%. First build
2

push

github

karoliineh 
Temporarily add push to coverage workflow

16329 of 27571 relevant lines covered (59.23%)

53671.57 hits per line

Relevant lines Covered
27571 RELEVANT LINES 16329 COVERED LINES
53671.57 HITS PER LINE
Source Files on coverage

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2 coverage Temporarily add push to coverage workflow push karoliineh github
59.23
See All Builds (1510)