1
82%
master: 82%

Ran 02 Jan 2019 04:35PM UTC

Files 27

Run time 1s

Badge

Committed 02 Jan 2019 04:35PM UTC coverage: 78.193% (+0.06%) from 78.133%

Job # 530.1

Build Type

push

circle-ci

Committed by Arthur Goldberg

Commit Message

make det_count_elements(), which deterministically counts elements in an iterable

Coverage Stats

776 of 805 branches covered (96.4%)

1255 of 1605 relevant lines covered (78.19%)

0.78 hits per line