1387
65%
master: 66%

Ran 08 Jul 2020 03:30AM UTC

Jobs 2

Files 453

Run time 12min

Badge

Committed 08 Jul 2020 03:10AM UTC coverage: 64.595%. Remained the same

Build # 1387

Build Type

push

travis-ci

Committed by

Commit Message

Merge remote-tracking branch 'origin/master' into mcsat-assumptions

Run Details

13 of 13 new or added lines in 4 files covered. (100.0%)

72709 of 112562 relevant lines covered (64.59%)

1396602.24 hits per line

Lines	Coverage	∆	File
5	74.69	-0.06%	src/parser_utils/term_stack2.c

ID	Job ID	Ran	Files	Coverage
5	1387.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Jul 2020 03:30AM UTC	453	64.59	Travis Job 1387.5
10	1387.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Jul 2020 03:43AM UTC	0	0.0	Travis Job 1387.10