335
99%

Ran 12 Sep 2016 03:55PM UTC

Jobs 4

Files 1

Run time 22s

Badge

Build # 335

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade to Proof Redux.

Run Details

303 of 306 relevant lines covered (99.02%)

1026.97 hits per line

ID	Job ID	Ran	Coverage
2	335.2	12 Sep 2016 03:55PM UTC	99.02	Travis Job 335.2
3	335.3	12 Sep 2016 03:55PM UTC	99.02	Travis Job 335.3
4	335.4	12 Sep 2016 03:55PM UTC	99.02	Travis Job 335.4
5	335.5	12 Sep 2016 03:55PM UTC	99.02	Travis Job 335.5