832
63%
master: 66%

Ran 30 May 2019 07:23PM UTC

Jobs 2

Files 412

Run time 12min

Badge

Build # 832

Build Type

push

travis-ci

Committed by

Commit Message

fix propagation checking

Run Details

65791 of 98172 relevant lines covered (67.02%)

1619657.11 hits per line

ID	Job ID	Ran	Files	Coverage
5	832.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON)	30 May 2019 07:23PM UTC	412	67.02	Travis Job 832.5
6	832.6 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON)	30 May 2019 07:36PM UTC	0		Travis Job 832.6