bastion icon indicating copy to clipboard operation
bastion copied to clipboard

Published 20 hours ago • verified publisher icon bastion-rs

Reenable mem leak check in MIRI

Open vertexclique opened this issue 4 years ago • 1 comments

Currently, we are disabling -Zmiri-ignore-leaks prior to https://github.com/rust-lang/miri/issues/1318 . When AtomicPtr is transparent to MIRI enable this back again.

Transactional Memory PR will disable checks => https://github.com/bastion-rs/bastion/pull/207

vertexclique avatar May 19 '20 15:05 vertexclique

Marking this as a diagnostics problem.

vertexclique avatar May 19 '20 15:05 vertexclique