1615
66%

Ran 28 Apr 2021 12:54AM UTC

Jobs 2

Files 470

Run time 14min

Badge

Committed 28 Apr 2021 12:40AM UTC coverage: 65.246% (-0.002%) from 65.248%

Build # 1615

Build Type

push

travis-ci

Committed by

Commit Message

Don't crash on terms that the ef solver doesn't support

Run Details

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

75979 of 116450 relevant lines covered (65.25%)

1532242.63 hits per line

Lines	Coverage	∆	File
3	51.32	-0.05%	src/frontend/smt2/smt2_commands.c

ID	Job ID	Ran	Files	Coverage
5	1615.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Apr 2021 12:54AM UTC	470	65.25	Travis Job 1615.5
10	1615.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Apr 2021 01:08AM UTC	0	0.0	Travis Job 1615.10