1630
65%
master: 66%

Ran 10 Jun 2021 01:50AM UTC

Jobs 2

Files 470

Run time 13min

Badge

Committed 10 Jun 2021 01:32AM UTC coverage: 65.271%. First build

Build # 1630

Build Type

push

travis-ci

Committed by

Commit Message

Missing parenthesis

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

75990 of 116423 relevant lines covered (65.27%)

1534713.03 hits per line

ID	Job ID	Ran	Files	Coverage
5	1630.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	10 Jun 2021 01:50AM UTC	470	65.27	Travis Job 1630.5
10	1630.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	10 Jun 2021 02:03AM UTC	0	0.0	Travis Job 1630.10