Module zebra_test::prelude::prop::bits::bool_vec

Functions

• between
  Generates values where bits between the given bounds may be set.
• masked
  Generates values where any bits set in mask (and no others) may be set.
• sampled
  Create a strategy which generates values where bits within the bounds given by bits may be set. The number of bits that are set is chosen to be in the range given by size.