1135
65%

Ran 20 Mar 2020 03:58AM UTC

Jobs 2

Files 444

Run time 10min

Badge

Committed 20 Mar 2020 03:47AM UTC coverage: 62.474%. Remained the same

Build # 1135

Build Type

push

travis-ci

Committed by

Commit Message

Fix instructions for cadical

Run Details

68439 of 109548 relevant lines covered (62.47%)

1381757.49 hits per line

ID	Job ID	Ran	Files	Coverage
5	1135.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	20 Mar 2020 03:58AM UTC	0	62.47	Travis Job 1135.5
10	1135.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	20 Mar 2020 04:08AM UTC	0		Travis Job 1135.10

Detailed source file information is not available for this build.