1104
65%

Ran 04 Mar 2020 05:11AM UTC

Jobs 2

Files 442

Run time 11min

Badge

Committed 04 Mar 2020 05:04AM UTC coverage: 62.503% (-0.005%) from 62.508%

Build # 1104

Build Type

push

travis-ci

Committed by

Commit Message

Experiment: new gmap implementation

Run Details

68097 of 108950 relevant lines covered (62.5%)

1389138.69 hits per line

ID	Job ID	Ran	Files	Coverage
5	1104.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	04 Mar 2020 05:11AM UTC	0	62.5	Travis Job 1104.5
10	1104.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	04 Mar 2020 05:22AM UTC	0		Travis Job 1104.10

Detailed source file information is not available for this build.