976
63%
master: 66%

Ran 25 Sep 2019 07:54PM UTC

Jobs 2

Files 428

Run time 5min

Badge

Build # 976

Build Type

push

travis-ci

Committed by

Commit Message

leak

Run Details

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

66756 of 106184 relevant lines covered (62.87%)

1362160.81 hits per line

ID	Job ID	Ran	Files	Coverage
9	976.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Sep 2019 07:54PM UTC	428	62.87	Travis Job 976.9
10	976.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Sep 2019 07:59PM UTC	0		Travis Job 976.10