summaryrefslogtreecommitdiff
path: root/tests/hashmap
diff options
context:
space:
mode:
Diffstat (limited to 'tests/hashmap')
-rw-r--r--tests/hashmap/Hashmap.Properties.fst6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/hashmap/Hashmap.Properties.fst b/tests/hashmap/Hashmap.Properties.fst
index 7425b038..975b8671 100644
--- a/tests/hashmap/Hashmap.Properties.fst
+++ b/tests/hashmap/Hashmap.Properties.fst
@@ -2655,3 +2655,9 @@ let hash_map_insert_fwd_back_lem t self key value =
hash_map_try_resize_fwd_back_lem hm'
end
else ()
+
+(*** get *)
+
+(*** get_mut'fwd *)
+
+(*** get_mut'back *)