2
64%
devel: 64%

Ran 16 Sep 2020 12:43PM UTC

Files 40

Run time 12s

Badge

Committed 16 Sep 2020 12:35PM UTC coverage: 63.636% (-0.04%) from 63.678%

Build Type

push

travis-ci

Committed by

Commit Message

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

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

Run Details

1512 of 2376 relevant lines covered (63.64%)

24129.71 hits per line