361
91%
master: 91%

Ran 12 Feb 2016 07:57PM UTC

Jobs 2

Files 21

Run time 17s

Badge

Build # 361

Build Type

push

travis-ci

Committed by

Commit Message

Fix contract in elevator example

Run Details

1126 of 1200 relevant lines covered (93.83%)

1.88 hits per line

ID	Job ID	Ran	Files	Coverage
1	361.1	12 Feb 2016 07:57PM UTC	0	93.83	Travis Job 361.1
2	361.2	12 Feb 2016 07:57PM UTC	0	93.83	Travis Job 361.2

Detailed source file information is not available for this build.