3
64%
devel: 64%

Ran 07 May 2020 08:59PM UTC

Files 40

Run time 5s

Badge

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

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

1482 of 2374 relevant lines covered (62.43%)

26708.84 hits per line