Gen::leave

pub fn leave()

use arbitrary::{Gen};

Undoes one enter.

Called on a Gen value as value.leave(…).

See also#

• Gen::enter
• Gen: A seeded source of random values.
• Gen::new: A generator seeded with seed (0 is replaced by a fixed non-zero seed), starting at size 10.
• Gen::size: The current size bound.
• Gen::resize: Sets the size bound; negative sizes become 0.
• Gen::bits: 32 random bits.
• Gen::below: Uniform in [0, n); 0 when n <= 0.
• Gen::int_in: Uniform in [lo, hi].