goblint / analyzer / 4972
66%
master: 66%

LAST BUILD BRANCH: intdomain-is_excl_list
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.642% (+0.001%) from 65.641%
4972

Pull #2169

github

web-flow 
Merge dccbd7abd into 349eaf373
Pull Request #2169: Fix bitfield bitwise operators and congruence parity in unassume

12 of 12 new or added lines in 2 files covered. (100.0%)

23093 of 35180 relevant lines covered (65.64%)

395250.98 hits per line

Jobs
ID Job ID Ran Files Coverage
1 4972.1 329
65.64
 GitHub Action Run
Source Files on build 4972