1572
66%
master: 66%

Ran 22 Jan 2021 08:31PM UTC

Jobs 2

Files 470

Run time 101min

Badge

Committed 22 Jan 2021 04:58PM UTC coverage: 65.556% (-0.001%) from 65.557%

Build # 1572

Build Type

travis-ci

Committed by

Commit Message

Merge d90d27a9f into 8ee16b988

Run Details

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

75787 of 115606 relevant lines covered (65.56%)

1522920.26 hits per line

Lines	Coverage	∆	File
2	28.2	0.01%	src/frontend/yices/yices_reval.c

ID	Job ID	Ran	Files	Coverage
5	1572.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Jan 2021 08:31PM UTC	470	65.56	Travis Job 1572.5
10	1572.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Jan 2021 10:12PM UTC	0	0.0	Travis Job 1572.10