1049
63%
master: 65%

Ran 09 Dec 2019 05:09PM UTC

Jobs 2

Files 440

Run time 9min

Badge

Build # 1049

Build Type

push

travis-ci

Committed by

Commit Message

fix travis

Run Details

67984 of 107906 relevant lines covered (63.0%)

1410756.14 hits per line

ID	Job ID	Ran	Files	Coverage
9	1049.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	09 Dec 2019 05:09PM UTC	0	63.0	Travis Job 1049.9
10	1049.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	09 Dec 2019 05:18PM UTC	0		Travis Job 1049.10

Detailed source file information is not available for this build.