3
36%
master: 36%

Ran 06 Oct 2016 09:46PM UTC

Files 248

Run time 24s

Badge

Committed 06 Oct 2016 09:42PM UTC coverage: 63.726% (-0.006%) from 63.732%

Build Type

push

travis-ci

Committed by

Commit Message

Revert "option for classic IC3 push"

This reverts commit f2a596537.

Run Details

8199 of 12866 relevant lines covered (63.73%)

15341.88 hits per line