50
79%
master: 79%

Ran 07 Aug 2019 04:01PM UTC

Jobs 2

Files 1

Run time 27min

Badge

Build # 50

Build Type

travis-ci-com

Committed by

Commit Message

travis: run tests in Ubuntu Bionic (18.04)

In 18.04 we have native builds of cvc4, so we can test without
docker, which unbreaks greenkeeper

Run Details

12 of 16 branches covered (75.0%)

Branch coverage included in aggregate %.

38 of 47 relevant lines covered (80.85%)

10.94 hits per line

ID	Job ID	Ran	Files	Coverage
1	50.1	07 Aug 2019 04:01PM UTC	0	79.37	Travis Job 50.1
2	50.2	07 Aug 2019 04:01PM UTC	0	79.37	Travis Job 50.2

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line	Branch Hits	Branch Misses