7
89%
master: 89%

Ran 04 Dec 2017 02:34AM UTC

Files 5

Run time 0s

Badge

Committed 04 Dec 2017 02:28AM UTC coverage: 89.251% (-3.0%) from 92.256%

Build Type

push

travis-ci

Committed by

Commit Message

Cosmetic improvements to contracts.
Make `pure/c`, `either/c`, and `maybe/c` cooperate with Check Syntax
and use pretty names.

Run Details

274 of 307 relevant lines covered (89.25%)

0.89 hits per line