1527
65%

Ran 28 Oct 2020 02:57AM UTC

Jobs 2

Files 470

Run time 67min

Badge

Committed 28 Oct 2020 12:27AM UTC coverage: 65.216% (+0.02%) from 65.2%

Build # 1527

Build Type

push

travis-ci

Committed by

Commit Message

Added object stack for temporary objects used by the  context

Run Details

75331 of 115510 relevant lines covered (65.22%)

1426731.22 hits per line

ID	Job ID	Ran	Files	Coverage
5	1527.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Oct 2020 02:57AM UTC	0	65.22	Travis Job 1527.5
10	1527.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Oct 2020 04:04AM UTC	0	0.0	Travis Job 1527.10

Detailed source file information is not available for this build.