1373
65%
master: 65%

Ran 07 Jul 2020 07:01PM UTC

Jobs 2

Files 453

Run time 19min

Badge

Committed 07 Jul 2020 06:45PM UTC coverage: 64.037%. First build

Build # 1373

Build Type

push

travis-ci

Committed by

Commit Message

[travis] Trying to add valgrind to regressions

Run Details

71554 of 111738 relevant lines covered (64.04%)

1401146.02 hits per line

ID	Job ID	Ran	Files	Coverage
7	1373.7 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON ENABLE_VALGRIND=OFF CONFIGURE_FLAGS="--enable-mcsat" TIME_LIMIT=60)	07 Jul 2020 07:01PM UTC	0	64.04	Travis Job 1373.7
14	1373.14 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON ENABLE_VALGRIND=OFF CONFIGURE_FLAGS="--enable-mcsat" TIME_LIMIT=60)	07 Jul 2020 07:18PM UTC	0	0.0	Travis Job 1373.14

Detailed source file information is not available for this build.