3
36%
master: 36%

Ran 20 Sep 2016 10:12PM UTC

Files 908

Run time 87min

Badge

Committed 20 Sep 2016 10:07PM UTC coverage: 63.726% (-0.02%) from 63.748%

Build Type

push

travis-ci

Committed by

Commit Message

adding option to check for deadlock in BMC

Run Details

8199 of 12866 relevant lines covered (63.73%)

15341.88 hits per line