1200
65%

Ran 13 Apr 2020 06:01PM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 13 Apr 2020 05:54PM UTC coverage: 62.578% (+0.001%) from 62.577%

Build # 1200

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] fix initialization issue

Run Details

68702 of 109787 relevant lines covered (62.58%)

1397280.23 hits per line

ID	Job ID	Ran	Files	Coverage
5	1200.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	13 Apr 2020 06:01PM UTC	0	62.58	Travis Job 1200.5
10	1200.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	13 Apr 2020 06:12PM UTC	0	0.0	Travis Job 1200.10

Detailed source file information is not available for this build.