1449
65%
master: 66%

Ran 04 Aug 2020 11:52PM UTC

Jobs 2

Files 453

Run time 12min

Badge

Committed 04 Aug 2020 11:35PM UTC coverage: 64.605% (-0.009%) from 64.614%

Build # 1449

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] another path to mark and clear unused terms before term table goes into gc

Run Details

72838 of 112744 relevant lines covered (64.6%)

1446191.44 hits per line

ID	Job ID	Ran	Files	Coverage
5	1449.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	04 Aug 2020 11:52PM UTC	453	64.6	Travis Job 1449.5
10	1449.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	05 Aug 2020 12:04AM UTC	0	0.0	Travis Job 1449.10