110
94%

Ran 12 Jul 2013 03:41AM UTC

Jobs 2

Files 6

Run time –

Badge

Build # 110

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade Proof to 0.0.32.

Closes #58.

Run Details

900 of 959 relevant lines covered (93.85%)

147.5 hits per line

ID	Job ID	Ran	Files	Coverage
1	110.1	12 Jul 2013 03:41AM UTC	0	93.85	Travis Job 110.1
2	110.2	12 Jul 2013 03:41AM UTC	0	93.85	Travis Job 110.2