1
64%
devel: 64%

Ran 07 May 2020 08:56PM UTC

Files 40

Run time 3s

Badge

Committed 07 May 2020 08:51PM UTC coverage: 62.595% (+0.02%) from 62.579%

Build Type

push

travis-ci

Committed by

Commit Message

extricate: plugin: FramaC: add ability to use relative paths in why3 args

Signed-off-by: Denis Efremov <efremov@linux.com>

Run Details

1486 of 2374 relevant lines covered (62.59%)

11677.85 hits per line