1
69%
master: 71%

Ran 30 Aug 2020 12:47AM UTC

Files 24

Run time 1s

Badge

Embed ▾

Committed 30 Aug 2020 12:41AM UTC coverage: 68.808% (+0.8%) from 68.034%

Job # #55.1

Build Type

push

circle-ci

Committed by

Others

Commit Message

Batch destructors, make AtomicGc operations unsafe for now

This fixes a couple of soundness holes. (Minor in scope, only
observable in the face of some pretty adverserial code.)

Next patch in this series will fix the unsafety of AtomicGc, and
implement DerefGc!

Coverage Stats

889 of 1292 relevant lines covered (68.81%)

2.4 hits per line

Others / shredder / #55 / 1
69%
master: 71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #55.1

Others / shredder / #55 / 1 69% master: 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #55.1

Others / shredder / #55 / 1
69%
master: 71%

README BADGES
x