1346
65%

Ran 29 Jun 2020 07:19PM UTC

Jobs 2

Files 445

Run time 13min

Badge

Committed 29 Jun 2020 06:54PM UTC coverage: 63.615%. Remained the same

Build # 1346

Build Type

push

travis-ci

Committed by

Commit Message

Variable ranks are not initialized in preprocessing

Run Details

70169 of 110302 relevant lines covered (63.62%)

1478502.69 hits per line

ID	Job ID	Ran	Files	Coverage
5	1346.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	29 Jun 2020 07:19PM UTC	0	63.62	Travis Job 1346.5
10	1346.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	29 Jun 2020 07:32PM UTC	0	0.0	Travis Job 1346.10

Detailed source file information is not available for this build.