1237
91%
master: 91%

Ran 28 Feb 2020 07:22PM UTC

Jobs 2

Files 280

Run time 9min

Badge

Build # 1237

Build Type

push

travis-ci

Committed by

Commit Message

Call __gcov_flush() before we call _exit(), the latter does not
auto-flush.

Run Details

9106 of 10218 relevant lines covered (89.12%)

3505265.64 hits per line

ID	Job ID	Ran	Files	Coverage
7	1237.7 (TTYPE=basic)	28 Feb 2020 07:27PM UTC	280	84.29	Travis Job 1237.7
8	1237.8 (TTYPE=glitching)	28 Feb 2020 07:22PM UTC	280	67.58	Travis Job 1237.8