1271
65%

Ran 24 May 2020 10:56PM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 24 May 2020 10:50PM UTC coverage: 62.747% (+0.02%) from 62.724%

Build # 1271

Build Type

push

travis-ci

Committed by

Commit Message

don't use FM until understood better

Run Details

69233 of 110336 relevant lines covered (62.75%)

1388389.15 hits per line

ID	Job ID	Ran	Files	Coverage
5	1271.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	24 May 2020 10:56PM UTC	0	62.75	Travis Job 1271.5
10	1271.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	24 May 2020 11:07PM UTC	0	0.0	Travis Job 1271.10

Detailed source file information is not available for this build.