1389
65%
master: 65%

Ran 08 Jul 2020 05:14PM UTC

Jobs 2

Files 453

Run time 29min

Badge

Committed 08 Jul 2020 04:51PM UTC coverage: 64.019%. Remained the same

Build # 1389

Build Type

push

travis-ci

Committed by

Commit Message

Merge branch 'master' into valgrind-regress

Run Details

71584 of 111817 relevant lines covered (64.02%)

1400161.59 hits per line

ID	Job ID	Ran	Files	Coverage
7	1389.7 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON ENABLE_VALGRIND=OFF CONFIGURE_FLAGS="--enable-mcsat" TIME_LIMIT=60)	08 Jul 2020 05:14PM UTC	0	64.02	Travis Job 1389.7
14	1389.14 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON ENABLE_VALGRIND=OFF CONFIGURE_FLAGS="--enable-mcsat" TIME_LIMIT=60)	08 Jul 2020 05:43PM UTC	0	0.0	Travis Job 1389.14

Detailed source file information is not available for this build.