4
64%
devel: 64%

Ran 07 May 2020 08:57PM UTC

Files 40

Run time 6s

Badge

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

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

1495 of 2369 relevant lines covered (63.11%)

12055.44 hits per line