1530
65%
master: 65%

Ran 28 Oct 2020 11:16PM UTC

Jobs 2

Files 470

Run time 110min

Badge

Committed 28 Oct 2020 05:40PM UTC coverage: 65.229% (+0.03%) from 65.2%

Build # 1530

Build Type

push

travis-ci

Committed by

Commit Message

Merge remote-tracking branch 'origin/master' into mingw-special

sync up with naster's bug fixes.

Run Details

168 of 168 new or added lines in 6 files covered. (100.0%)

75352 of 115519 relevant lines covered (65.23%)

1426621.36 hits per line

Lines	Coverage	∆	File
1	50.9	0.0%	src/frontend/smt2/smt2_commands.c
1	89.29	0.18%	src/mcsat/preprocessor.c
15	81.93		src/utils/object_stack.c

ID	Job ID	Ran	Files	Coverage
5	1530.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Oct 2020 11:16PM UTC	470	65.23	Travis Job 1530.5
10	1530.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	29 Oct 2020 01:07AM UTC	0	0.0	Travis Job 1530.10