58
100%

Ran 03 Oct 2016 02:58PM UTC

Jobs 4

Files 1

Run time 15s

Badge

Build # 58

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade to Proof Redux.

Run Details

15 of 15 relevant lines covered (100.0%)

9.87 hits per line

ID	Job ID	Ran	Coverage
2	58.2	03 Oct 2016 02:58PM UTC	100.0	Travis Job 58.2
3	58.3	03 Oct 2016 02:58PM UTC	100.0	Travis Job 58.3
4	58.4	03 Oct 2016 02:58PM UTC	100.0	Travis Job 58.4
5	58.5	03 Oct 2016 02:58PM UTC	100.0	Travis Job 58.5