11
98%
master: 98%

Ran 15 Jan 2020 02:03PM UTC

Files 77

Run time 7s

Badge

Committed 15 Jan 2020 12:26PM UTC coverage: 97.074% (+0.05%) from 97.02%

Build Type

push

travis-ci

Committed by

Commit Message

Merge branch '0.10-invariant-improve' into 0.10

Coverage Stats

3984 of 4345 branches covered (91.69%)

13304 of 13705 relevant lines covered (97.07%)

0.97 hits per line