1442
65%
master: 65%

Ran 03 Aug 2020 05:42PM UTC

Jobs 2

Files 453

Run time 30min

Badge

Committed 03 Aug 2020 05:25PM UTC coverage: 64.643% (+0.6%) from 64.019%

Build # 1442

Build Type

push

travis-ci

Committed by

Commit Message

Merge branch 'master' into valgrind-regress

Run Details

72836 of 112675 relevant lines covered (64.64%)

1447077.05 hits per line

ID	Job ID	Ran	Files	Coverage
7	1442.7 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON ENABLE_VALGRIND=OFF CONFIGURE_FLAGS="--enable-mcsat" TIME_LIMIT=60)	03 Aug 2020 05:42PM UTC	0	64.64	Travis Job 1442.7
14	1442.14 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON ENABLE_VALGRIND=OFF CONFIGURE_FLAGS="--enable-mcsat" TIME_LIMIT=60)	03 Aug 2020 06:13PM UTC	0	0.0	Travis Job 1442.14

Detailed source file information is not available for this build.