Function mc_oblivious_traits::testing::test_omap_overflow

pub fn test_omap_overflow<KeySize, ValSize, O>(omap: &mut O) -> u64 where
    KeySize: ArrayLength<u8>,
    ValSize: ArrayLength<u8>,
    O: ObliviousHashMap<KeySize, ValSize>, 

Take an empty omap and add items consecutively to it until it overflows. Then test that on overflow we have rollback semantics, and we can still find all of the items that we added.