1220
65%

Ran 23 Apr 2020 04:33AM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 23 Apr 2020 04:25AM UTC coverage: 62.586%. Remained the same

Build # 1220

Build Type

push

travis-ci

Committed by

Commit Message

API fix when Yices is not built with --enable-mcsat.

Run Details

68760 of 109865 relevant lines covered (62.59%)

1396654.99 hits per line

ID	Job ID	Ran	Files	Coverage
5	1220.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Apr 2020 04:33AM UTC	0	62.59	Travis Job 1220.5
10	1220.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Apr 2020 04:44AM UTC	0	0.0	Travis Job 1220.10

Detailed source file information is not available for this build.