1048
63%
master: 65%

Ran 09 Dec 2019 04:53PM UTC

Jobs 2

Files 440

Run time 7min

Badge

Build # 1048

Build Type

travis-ci

Committed by

Commit Message

fix travis

Run Details

8908 of 8908 new or added lines in 49 files covered. (100.0%)

67984 of 107906 relevant lines covered (63.0%)

1410756.2 hits per line

ID	Job ID	Ran	Files	Coverage
9	1048.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	09 Dec 2019 04:53PM UTC	0	63.0	Travis Job 1048.9
10	1048.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	09 Dec 2019 05:00PM UTC	0		Travis Job 1048.10

Detailed source file information is not available for this build.