#54
69%
master: 71%

Ran 30 Aug 2020 12:45AM UTC

Jobs 1

Files 24

Run time 2s

Badge

Embed ▾

pending completion

Build # #54

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!

Run Details

879 of 1292 relevant lines covered (68.03%)

2.38 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#54.1	30 Aug 2020 12:45AM UTC	0	68.03

Source Files on build #54

Detailed source file information is not available for this build.

Others / shredder / #54
69%
master: 71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #54

Others / shredder / #54 69% master: 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #54

Others / shredder / #54
69%
master: 71%

README BADGES
x