1514
65%

Ran 13 Oct 2020 02:18PM UTC

Jobs 2

Files 469

Run time 14min

Badge

Committed 13 Oct 2020 01:58PM UTC coverage: 65.173% (+0.006%) from 65.167%

Build # 1514

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] don't pop on reset, just clear it all

fixes #320

Run Details

75206 of 115394 relevant lines covered (65.17%)

1428192.58 hits per line

ID	Job ID	Ran	Files	Coverage
5	1514.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	13 Oct 2020 02:18PM UTC	0	65.17	Travis Job 1514.5
10	1514.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	13 Oct 2020 02:33PM UTC	0	0.0	Travis Job 1514.10

Detailed source file information is not available for this build.