diff options
author | Guillaume Boisseau | 2024-05-28 11:56:39 +0200 |
---|---|---|
committer | GitHub | 2024-05-28 11:56:39 +0200 |
commit | ef7792c106a1f33397c206fcb5124b5ddfe64378 (patch) | |
tree | a72fae46702fc4c2eb32e1361a2538eb7a5f5545 /tests/src/hashmap_main.rs | |
parent | 4f26c7f6f1e554d8ec2f46e868d5dc66c4160d16 (diff) | |
parent | c4d2af051c18c4c81b1e57a45210c37c89c8330f (diff) |
Merge pull request #213 from AeneasVerif/cleanup-tests
Diffstat (limited to '')
-rw-r--r-- | tests/src/hashmap_main.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/tests/src/hashmap_main.rs b/tests/src/hashmap_main.rs deleted file mode 100644 index 0c827844..00000000 --- a/tests/src/hashmap_main.rs +++ /dev/null @@ -1,22 +0,0 @@ -//@ charon-args=--opaque=hashmap_utils -//@ aeneas-args=-state -split-files -//@ [coq] aeneas-args=-use-fuel -//@ [fstar] aeneas-args=-decreases-clauses -template-clauses -// Possible to add `--no-code-duplication` if we use the optimized MIR -// TODO: reactivate -test-trans-units -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() {} |