143
79%

Ran 10 Oct 2017 02:00PM UTC

Jobs 3

Files 17

Run time 123min

Badge

Build # 143

Build Type

push

travis-ci

Committed by

Commit Message

Explicitely set AutoCheckpoint the demo program

Run Details

1996 of 3207 relevant lines covered (62.24%)

12.85 hits per line

ID	Job ID	Ran	Files	Coverage
1	143.1	10 Oct 2017 04:04PM UTC	17	62.24	Travis Job 143.1
2	143.2	10 Oct 2017 02:00PM UTC	17	62.24	Travis Job 143.2
3	143.3	10 Oct 2017 04:03PM UTC	17	62.24	Travis Job 143.3

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line