1107
65%

Ran 06 Mar 2020 03:34PM UTC

Jobs 2

Files 442

Run time 11min

Badge

Committed 06 Mar 2020 03:27PM UTC coverage: 62.499%. Remained the same

Build # 1107

Build Type

push

travis-ci

Committed by

Commit Message

fix no-mcsat compile

Run Details

68100 of 108962 relevant lines covered (62.5%)

1389125.23 hits per line

ID	Job ID	Ran	Files	Coverage
5	1107.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	06 Mar 2020 03:34PM UTC	0	62.5	Travis Job 1107.5
10	1107.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	06 Mar 2020 03:46PM UTC	0		Travis Job 1107.10

Detailed source file information is not available for this build.