3
100%
master: 100%

Ran 08 Nov 2017 02:47AM UTC

Files 225

Run time 8s

Badge

Committed 08 Nov 2017 02:44AM UTC coverage: 100.0%. Remained the same

Job # 498.3

Build Type

push

travis-ci

Committed by

Commit Message

Equality is by value (#149)

* add isSame predicate and equals pointfree

* update all Setoid to use value equality

Run Details

1444 of 1444 branches covered (100.0%)

2893 of 2893 relevant lines covered (100.0%)

75.83 hits per line