1262
65%

Ran 19 May 2020 06:07PM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 19 May 2020 04:28AM UTC coverage: 62.724% (+0.02%) from 62.707%

Build # 1262

Build Type

push

travis-ci

Committed by

Commit Message

Make sure people don't confuse 0 and 0.0

Run Details

69064 of 110108 relevant lines covered (62.72%)

1395350.65 hits per line

ID	Job ID	Ran	Files	Coverage
5	1262.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	19 May 2020 06:07PM UTC	444	62.72	Travis Job 1262.5
10	1262.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	19 May 2020 06:18PM UTC	0	0.0	Travis Job 1262.10