121
37%

Ran 17 Feb 2019 06:00AM UTC

Jobs 1

Files 8

Run time 4s

Badge

Committed 17 Feb 2019 06:00AM UTC coverage: 99.401%. First build

Build # 121

Build Type

travis-ci

Committed by Dino Oliva

Commit Message

Updates code related to disjoint unions based on review comments.

Run Details

664 of 668 relevant lines covered (99.4%)

8.33 hits per line

ID	Job ID	Ran	Files	Coverage
1	121.1 (BUILD=MVN)	17 Feb 2019 06:00AM UTC	0	99.4	Travis Job 121.1