1133
65%

Ran 20 Mar 2020 01:19AM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 20 Mar 2020 01:12AM UTC coverage: 62.474% (+0.01%) from 62.461%

Build # 1133

Build Type

push

travis-ci

Committed by

Commit Message

Cleanup + added API support for solving formulas (with delegates).

Run Details

68439 of 109548 relevant lines covered (62.47%)

1381757.39 hits per line

ID	Job ID	Ran	Files	Coverage
5	1133.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	20 Mar 2020 01:19AM UTC	0	62.47	Travis Job 1133.5
10	1133.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	20 Mar 2020 01:31AM UTC	0		Travis Job 1133.10

Detailed source file information is not available for this build.