27
99%

Ran 14 Oct 2014 11:58AM UTC

Jobs 6

Files 14

Run time 3min

Badge

Build # 27

Build Type

push

travis-ci

Committed by

Commit Message

and ignore prove in coverage

Run Details

267 of 270 relevant lines covered (98.89%)

124.64 hits per line

ID	Job ID	Ran	Coverage
1	27.1	14 Oct 2014 12:02PM UTC	98.89	Travis Job 27.1
2	27.2	14 Oct 2014 11:58AM UTC	98.89	Travis Job 27.2
3	27.3	14 Oct 2014 11:59AM UTC	98.89	Travis Job 27.3
5	27.5	14 Oct 2014 11:59AM UTC	98.89	Travis Job 27.5
6	27.6	14 Oct 2014 12:01PM UTC	98.89	Travis Job 27.6
7	27.7	14 Oct 2014 12:00PM UTC	98.89	Travis Job 27.7

Detailed source file information is not available for this build.