3
36%
master: 36%

Ran 06 Oct 2016 09:30PM UTC

Files 248

Run time 17s

Badge

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

Build Type

push

travis-ci

Committed by

Commit Message

option for classic IC3 push

Run Details

8201 of 12868 relevant lines covered (63.73%)

15340.38 hits per line