3
89%
master: 89%

Ran 04 Dec 2017 02:31AM UTC

Files 5

Run time 0s

Badge

Committed 04 Dec 2017 02:28AM UTC coverage: 90.099% (-3.1%) from 93.174%

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

273 of 303 relevant lines covered (90.1%)

0.9 hits per line