use proptest::proptest;

use sparse_bitfield::{Bitfield, Change};

fn model(bit: usize, page_sz: usize) {
  let mut bits = Bitfield::new(page_sz);
  assert_eq!(bits.set(bit, true), Change::Changed);
  assert_eq!(bits.get(bit), true);
}

proptest! {
  #[test]
  fn doesnt_crash(bit in 0usize..1_000_000, page_sz_exponent in 0usize..30) {
    model(bit, 1 << page_sz_exponent);
  }
}