Constant miri::alloc_addresses::reuse_pool::ADDR_REMEMBER_CHANCE

source ·
const ADDR_REMEMBER_CHANCE: f64 = 0.5;