1116
65%

Ran 11 Mar 2020 05:02AM UTC

Jobs 2

Files 442

Run time 11min

Badge

Committed 11 Mar 2020 04:50AM UTC coverage: 62.601% (-0.04%) from 62.641%

Build # 1116

Build Type

push

travis-ci

Committed by

Commit Message

Handle larger cuts

Run Details

68371 of 109217 relevant lines covered (62.6%)

1385944.67 hits per line

ID	Job ID	Ran	Files	Coverage
5	1116.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	11 Mar 2020 05:02AM UTC	0	62.6	Travis Job 1116.5
10	1116.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	11 Mar 2020 05:13AM UTC	0		Travis Job 1116.10

Detailed source file information is not available for this build.