164
100%
master: 100%

Ran 11 Apr 2018 05:48PM UTC

Jobs 2

Files 11

Run time 10s

Badge

Build # 164

Build Type

push

travis-ci

Committed by

Commit Message

fix premises false identical

Run Details

76 of 76 branches covered (100.0%)

Branch coverage included in aggregate %.

250 of 250 relevant lines covered (100.0%)

280.78 hits per line

ID	Job ID	Ran	Files	Coverage
1	164.1	11 Apr 2018 05:48PM UTC	0	100.0	Travis Job 164.1
2	164.2	11 Apr 2018 05:48PM UTC	0	100.0	Travis Job 164.2

Detailed source file information is not available for this build.