1099
65%

Ran 01 Mar 2020 04:46AM UTC

Jobs 2

Files 442

Run time 10min

Badge

Committed 01 Mar 2020 04:35AM UTC coverage: 62.501%. Remained the same

Build # 1099

Build Type

push

travis-ci

Committed by

Commit Message

Compile-time option

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

68029 of 108844 relevant lines covered (62.5%)

1398624.12 hits per line

ID	Job ID	Ran	Files	Coverage
5	1099.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	01 Mar 2020 04:46AM UTC	0	62.5	Travis Job 1099.5
10	1099.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	01 Mar 2020 04:56AM UTC	0		Travis Job 1099.10

Detailed source file information is not available for this build.