99
100%

Ran 11 Jul 2013 01:53AM UTC

Jobs 3

Files 1

Run time –

Badge

Build # 99

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade Proof to 0.0.32.

Closes #54.

Run Details

177 of 181 relevant lines covered (97.79%)

271.91 hits per line

ID	Job ID	Ran	Coverage
1	99.1	11 Jul 2013 01:53AM UTC	97.79	Travis Job 99.1
2	99.2	11 Jul 2013 01:53AM UTC	97.79	Travis Job 99.2
3	99.3	11 Jul 2013 01:53AM UTC	97.79	Travis Job 99.3