1046
63%
master: 66%

Ran 04 Dec 2019 01:04AM UTC

Jobs 2

Files 437

Run time 2min

Badge

Build # 1046

Build Type

push

travis-ci

Committed by

Commit Message

Fixed compilation warning (printf)

Run Details

67541 of 107433 relevant lines covered (62.87%)

1415956.79 hits per line

ID	Job ID	Ran	Files	Coverage
9	1046.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	04 Dec 2019 01:04AM UTC	437	62.87	Travis Job 1046.9
10	1046.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	04 Dec 2019 01:06AM UTC	0		Travis Job 1046.10