977
63%
master: 66%

Ran 25 Sep 2019 10:14PM UTC

Jobs 2

Files 428

Run time 5min

Badge

Build # 977

Build Type

push

travis-ci

Committed by

Commit Message

slight correction of leak fix

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

66756 of 106184 relevant lines covered (62.87%)

1362160.72 hits per line

ID	Job ID	Ran	Files	Coverage
9	977.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Sep 2019 10:14PM UTC	428	62.87	Travis Job 977.9
10	977.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Sep 2019 10:19PM UTC	0		Travis Job 977.10