1521
65%

Ran 19 Oct 2020 08:12PM UTC

Jobs 2

Files 469

Run time 14min

Badge

Committed 19 Oct 2020 07:57PM UTC coverage: 65.199% (+0.02%) from 65.175%

Build # 1521

Build Type

push

travis-ci

Committed by

Commit Message

Allow get-assignment in ef-mode

Run Details

75247 of 115412 relevant lines covered (65.2%)

1427926.15 hits per line

ID	Job ID	Ran	Files	Coverage
5	1521.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	19 Oct 2020 08:12PM UTC	0	65.2	Travis Job 1521.5
10	1521.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	19 Oct 2020 08:26PM UTC	0	0.0	Travis Job 1521.10

Detailed source file information is not available for this build.