1103
66%

Ran 02 Mar 2020 09:41PM UTC

Jobs 2

Files 442

Run time 13min

Badge

Committed 02 Mar 2020 09:34PM UTC coverage: 62.508%. Remained the same

Build # 1103

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] fix build (forgot no_mcsat.c)

Run Details

68097 of 108941 relevant lines covered (62.51%)

1389253.41 hits per line

ID	Job ID	Ran	Files	Coverage
5	1103.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	02 Mar 2020 09:41PM UTC	442	62.51	Travis Job 1103.5
10	1103.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	02 Mar 2020 09:54PM UTC	0		Travis Job 1103.10