1134
65%

Ran 20 Mar 2020 03:43AM UTC

Jobs 2

Files 444

Run time 10min

Badge

Committed 20 Mar 2020 03:37AM UTC coverage: 62.474%. Remained the same

Build # 1134

Build Type

push

travis-ci

Committed by

Commit Message

Updates to the doc + fixed typos

Run Details

68439 of 109548 relevant lines covered (62.47%)

1381757.55 hits per line

ID	Job ID	Ran	Files	Coverage
5	1134.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	20 Mar 2020 03:43AM UTC	0	62.47	Travis Job 1134.5
10	1134.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	20 Mar 2020 03:54AM UTC	0		Travis Job 1134.10

Detailed source file information is not available for this build.