test_omap_overflow

mc_oblivious_traits::testing

Function test_omap_overflow 

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

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.