1176
72%
master: 75%

Ran 15 Oct 2018 11:55PM UTC

Jobs 2

Files 53

Run time 1423min

Badge

Build # 1176

Build Type

travis-ci

Committed by

Commit Message

remove bitvector from magma

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

3468 of 4829 relevant lines covered (71.82%)

0.72 hits per line

ID	Job ID	Ran	Files	Coverage
1	1176.1	15 Oct 2018 11:55PM UTC	0	71.82	Travis Job 1176.1
2	1176.2	15 Oct 2018 11:57PM UTC	0		Travis Job 1176.2

Detailed source file information is not available for this build.