1503
66%

Ran 06 Oct 2020 04:58AM UTC

Jobs 2

Files 469

Run time 12min

Badge

Committed 06 Oct 2020 04:45AM UTC coverage: 65.111%. Remained the same

Build # 1503

Build Type

push

travis-ci

Committed by

Commit Message

Memory leak 2

Run Details

75062 of 115284 relevant lines covered (65.11%)

1429357.97 hits per line

ID	Job ID	Ran	Files	Coverage
5	1503.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	06 Oct 2020 04:58AM UTC	469	65.11	Travis Job 1503.5
10	1503.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	06 Oct 2020 05:10AM UTC	0	0.0	Travis Job 1503.10