1344
65%
master: 66%

Ran 29 Jun 2020 03:44PM UTC

Jobs 2

Files 445

Run time 10min

Badge

Committed 29 Jun 2020 03:09PM UTC coverage: 64.065%. Remained the same

Build # 1344

Build Type

push

travis-ci

Committed by

Commit Message

[assumptions] fix leak

Run Details

71111 of 110998 relevant lines covered (64.07%)

1474547.25 hits per line

ID	Job ID	Ran	Files	Coverage
5	1344.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	29 Jun 2020 03:44PM UTC	445	64.07	Travis Job 1344.5
10	1344.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	29 Jun 2020 03:54PM UTC	0	0.0	Travis Job 1344.10