1
82%
master: 82%

Ran 04 Jan 2019 08:36PM UTC

Files 27

Run time 4s

Badge

Committed 04 Jan 2019 08:36PM UTC coverage: 78.193%. Remained the same

Job # 531.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