52
100%

Ran 23 Aug 2016 05:07AM UTC

Jobs 4

Files 1

Run time 50s

Badge

Build # 52

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade to Proof Redux.

Run Details

40 of 40 relevant lines covered (100.0%)

22.58 hits per line

ID	Job ID	Ran	Coverage
2	52.2	23 Aug 2016 05:07AM UTC	100.0	Travis Job 52.2
3	52.3	23 Aug 2016 05:07AM UTC	100.0	Travis Job 52.3
4	52.4	23 Aug 2016 05:07AM UTC	100.0	Travis Job 52.4
5	52.5	23 Aug 2016 05:08AM UTC	100.0	Travis Job 52.5

Detailed source file information is not available for this build.