Constant miri::alloc_addresses::reuse_pool::ADDR_TAKE_CHANCE

source ·
const ADDR_TAKE_CHANCE: f64 = 0.5;