1143
65%

Ran 23 Mar 2020 04:10PM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 23 Mar 2020 04:03PM UTC coverage: 62.5% (+0.001%) from 62.499%

Build # 1143

Build Type

push

travis-ci

Committed by

Commit Message

prompt only if stdin is a tty

Run Details

68471 of 109554 relevant lines covered (62.5%)

1391870.3 hits per line

ID	Job ID	Ran	Files	Coverage
5	1143.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Mar 2020 04:10PM UTC	0	62.5	Travis Job 1143.5
10	1143.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Mar 2020 04:21PM UTC	0		Travis Job 1143.10

Detailed source file information is not available for this build.