Others / shredder

69%

master: 71%

LAST BUILD ON BRANCH batch_destructor

branch: batch_destructor

CHANGE BRANCH

x

Reset

• batch_destructor
• atomic_gc
• benchmark
• circular
• collector_organization
• crossbeam_update
• deref_work
• derive_fix
• document_collector
• downcast
• housekeeping
• master
• poison_fix
• ptr_eq
• pull/45
• pull/46
• pull/52
• pull/64
• ref_cnt
• remove_lockout_allocation

Build # #55

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

889 of 1292 relevant lines covered (68.81%)

2.4 hits per line