goblint / analyzer / 4556
65%
master: 65%

LAST BUILD BRANCH: rm-dbg.dump
DEFAULT BRANCH: master
Ran
Jobs 1
Files 329
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: 65.343%. First build
4556

Pull #2051

github

web-flow 
Merge 38c08f601 into 3ac203a7a
Pull Request #2051: Phase Ghost for Rel-MM

23417 of 35837 relevant lines covered (65.34%)

392348.34 hits per line

Jobs
ID Job ID Ran Files Coverage
1 4556.1 329
65.34
 GitHub Action Run
Source Files on build 4556