1515
65%

Ran 14 Oct 2020 01:09AM UTC

Jobs 2

Files 469

Run time 12min

Badge

Committed 14 Oct 2020 12:54AM UTC coverage: 65.174% (+0.001%) from 65.173%

Build # 1515

Build Type

push

travis-ci

Committed by

Commit Message

Fix to make the address sanitizer happy.

On linux, the sanitizer complains on a call to memset(p, x, n)
when p is NULL, even if n is zero.

Run Details

75209 of 115397 relevant lines covered (65.17%)

1428158.8 hits per line

ID	Job ID	Ran	Files	Coverage
5	1515.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	14 Oct 2020 01:09AM UTC	0	65.17	Travis Job 1515.5
10	1515.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	14 Oct 2020 01:21AM UTC	0	0.0	Travis Job 1515.10

Detailed source file information is not available for this build.