goblint / analyzer / 4279
66%
master: 65%

LAST BUILD BRANCH: rm-dbg.dump
DEFAULT BRANCH: master
Ran
Jobs 1
Files 317
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.535% (+0.002%) from 65.533%
4279

Pull #1980

github

web-flow 
Merge 336dfad8c into 582608c7d
Pull Request #1980: Add optional memtrace dependency

22740 of 34699 relevant lines covered (65.54%)

402947.54 hits per line

Jobs
ID Job ID Ran Files Coverage
1 4279.1 317
65.54
 GitHub Action Run
Source Files on build 4279