35
96%
master: 100%

Ran 03 Sep 2019 02:04AM UTC

Jobs 3

Files 25

Run time 11s

Badge

Embed ▾

pending completion

Build # 35

Build Type

push

travis-ci

Committed by

sbosnick

Commit Message

Renamed PartitionMap and PartitionSet.

The new names (Partition and Set respectivly) better reflect the purpose
of these two types. A Set (formerly PartitionSet) is not concerned with
a partition of anything, but rather is just an implementaion of the
abtract type "set". A Partition (formerly PartitionMap) is precisely an
implementation of a abstract "partition" of some universe U into subsets
that are identified by having the same value `V`. It doesn't really map
`U` to `V`, but rather uses values of `V` to identify the subsets of
`U`.

Run Details

2362 of 2458 relevant lines covered (96.09%)

2.88 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	35.1	03 Sep 2019 02:04AM UTC	95.69	Travis Job 35.1
2	35.2	03 Sep 2019 02:04AM UTC	95.98	Travis Job 35.2
3	35.3	03 Sep 2019 02:04AM UTC	95.91	Travis Job 35.3

Source Files on build 35

Detailed source file information is not available for this build.

sbosnick / luther / 35
96%
master: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 35

sbosnick / luther / 35 96% master: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 35

sbosnick / luther / 35
96%
master: 100%

README BADGES
x