1381
65%
master: 65%

Ran 07 Jul 2020 11:18PM UTC

Jobs 2

Files 453

Run time 29min

Badge

Committed 07 Jul 2020 10:45PM UTC coverage: 64.019% (-0.02%) from 64.037%

Build # 1381

Build Type

push

travis-ci

Committed by

Commit Message

Merge remote-tracking branch 'origin/master' into valgrind-regress

Run Details

4 of 4 new or added lines in 1 file covered. (100.0%)

71581 of 111812 relevant lines covered (64.02%)

1400223.16 hits per line

ID	Job ID	Ran	Files	Coverage
7	1381.7 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON ENABLE_VALGRIND=OFF CONFIGURE_FLAGS="--enable-mcsat" TIME_LIMIT=60)	07 Jul 2020 11:18PM UTC	0	64.02	Travis Job 1381.7
14	1381.14 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON ENABLE_VALGRIND=OFF CONFIGURE_FLAGS="--enable-mcsat" TIME_LIMIT=60)	07 Jul 2020 11:47PM UTC	0	0.0	Travis Job 1381.14

Detailed source file information is not available for this build.