evdenis / spec-utils
64%

DEFAULT BRANCH: devel
Repo Added
Files 40
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

LAST BUILD ON BRANCH devel
branch: devel
CHANGE BRANCH
x

186

push

travis-ci

evdenis 
extricate: plugin: FramaC: add $FUNCTION parameter to cli args

Signed-off-by: Denis Efremov <efremov@ispras.ru>

1515 of 2371 relevant lines covered (63.9%)

73833.62 hits per line

Relevant lines Covered
2371 RELEVANT LINES 1515 COVERED LINES
73833.62 HITS PER LINE
Source Files on devel

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
186 devel extricate: plugin: FramaC: add $FUNCTION parameter to cli args Signed-off-by: Denis Efremov <efremov@ispras.ru> push evdenis travis-ci pending completion  
185 devel lib: Kernel: Module: refactor macro handling Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion  
184 devel lib: File: C: Merge: fix pattern in find_all_files() Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion  
183 devel lib: graph: add more debugging code Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion  
182 devel lib: C: Function: check for contract in attach_declaration() Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion  
181 devel extricate: plugin: FramaC: add ability to use relative paths in why3 args Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion  
180 devel extricate: plugin: FramaC: print instrument fail immediatly Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion  
179 devel extricate: allow to use relative paths in .config file Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion  
178 devel scripts: add clean_perl_imports.sh Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion  
177 devel lib: C: GlobalSet: add ____cacheline_aligned Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion  
See All Builds (147)