Module mc_oblivious_traits::testing

Some generic tests that exercise objects implementing these traits

Functions

exercise_omap	Exercise an OMAP by writing, reading, accessing, and removing a progressively larger set of random locations
exercise_omap_counter_table	Exercise an OMAP used as an oblivious counter table via the access_and_insert operation
exercise_oram	Exercise an ORAM by writing, reading, and rewriting, a progressively larger set of random locations
test_omap_overflow	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.