1228
65%

Ran 01 May 2020 03:33PM UTC

Jobs 2

Files 444

Run time 10min

Badge

Committed 01 May 2020 03:27PM UTC coverage: 62.693%. Remained the same

Build # 1228

Build Type

push

travis-ci

Committed by

Commit Message

Flush output buffer after writing solver status.

Run Details

68887 of 109880 relevant lines covered (62.69%)

1396537.13 hits per line

ID	Job ID	Ran	Files	Coverage
5	1228.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	01 May 2020 03:33PM UTC	0	62.69	Travis Job 1228.5
10	1228.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	01 May 2020 03:44PM UTC	0	0.0	Travis Job 1228.10

Detailed source file information is not available for this build.