3
83%
master: 83%

Ran 30 Jan 2019 05:52PM UTC

Files 70

Run time 2min

Badge

Committed 30 Jan 2019 05:44PM UTC coverage: 85.298% (+0.3%) from 85.02%

Build Type

push

travis-ci

Committed by

Commit Message

pushed global-allocator down to allocator and allowed for immanent unit-clause sharing

Coverage Stats

3864 of 4530 relevant lines covered (85.3%)

2219964.84 hits per line