goblint / analyzer / 4334
65%

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.497% (+0.002%) from 65.495%
4334

push

github

web-flow 
Merge pull request #1981 from goblint/no-threadflag

Improve `exp.single-threaded` for analysis without threadflag and escape

19 of 20 new or added lines in 11 files covered. (95.0%)

22681 of 34629 relevant lines covered (65.5%)

399985.53 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
61.6
 0.0% src/analyses/varEq.ml
Jobs
ID Job ID Ran Files Coverage
1 4334.1 317
65.5
 GitHub Action Run
Source Files on build 4334