9
82%
master: 85%

Ran 31 May 2020 01:24AM UTC

Files 38

Run time 4s

Badge

Committed 31 May 2020 01:22AM UTC coverage: 80.539%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Document set-like properties (#922)

* add manual entry for set-theoretic operators

* use a more demonstrative example

Run Details

2748 of 3412 relevant lines covered (80.54%)

0.81 hits per line