evdenis / spec-utils / 136 / 1
64%
devel: 64%

DEFAULT BRANCH: devel
Ran
Files 40
Run time 1s
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: 63.716%. First build
KERNEL_VERSION=4.17.3 MODULE_TO_TEST=fs/exportfs

push

travis-ci

evdenis 
C: ACSLComment: simplify detection of logic definitions

1461 of 2293 relevant lines covered (63.72%)

11427.26 hits per line

Source Files on job 136.1 (KERNEL_VERSION=4.17.3 MODULE_TO_TEST=fs/exportfs)