Merge pull request #197 from AeneasVerif/test-harness3

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/src/hashmap_main.rs b/tests/src/hashmap_main.rs
new file mode 100644
index 00000000..45dfa6e2
--- /dev/null
+++ b/tests/src/hashmap_main.rs
@@ -0,0 +1,16 @@
+mod hashmap;
+mod hashmap_utils;
+
+use crate::hashmap::*;
+use crate::hashmap_utils::*;
+
+pub fn insert_on_disk(key: Key, value: u64) {
+    // Deserialize
+    let mut hm = deserialize();
+    // Update
+    hm.insert(key, value);
+    // Serialize
+    serialize(hm);
+}
+
+pub fn main() {}