summaryrefslogtreecommitdiff
path: root/tests/src
diff options
context:
space:
mode:
authorNadrieril2024-05-28 11:18:35 +0200
committerNadrieril2024-05-28 11:36:31 +0200
commitc4d2af051c18c4c81b1e57a45210c37c89c8330f (patch)
treea72fae46702fc4c2eb32e1361a2538eb7a5f5545 /tests/src
parentc81c96f20b1dbf428a9ed42e83b910e798e1a225 (diff)
tests: Rename hashmap_utils -> utils
Diffstat (limited to '')
-rw-r--r--tests/src/hashmap.rs8
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/src/hashmap.rs b/tests/src/hashmap.rs
index ccb96e1e..19832a84 100644
--- a/tests/src/hashmap.rs
+++ b/tests/src/hashmap.rs
@@ -1,4 +1,4 @@
-//@ charon-args=--opaque=hashmap_utils
+//@ charon-args=--opaque=utils
//@ aeneas-args=-state -split-files
//@ [coq] aeneas-args=-use-fuel
//@ [fstar] aeneas-args=-decreases-clauses -template-clauses
@@ -317,7 +317,7 @@ impl<T> HashMap<T> {
}
// This is a module so we can tell charon to leave it opaque
-mod hashmap_utils {
+mod utils {
use crate::*;
/// Serialize a hash map - we don't have traits, so we fix the type of the
@@ -334,11 +334,11 @@ mod hashmap_utils {
pub fn insert_on_disk(key: Key, value: u64) {
// Deserialize
- let mut hm = hashmap_utils::deserialize();
+ let mut hm = utils::deserialize();
// Update
hm.insert(key, value);
// Serialize
- hashmap_utils::serialize(hm);
+ utils::serialize(hm);
}
/// I currently can't retrieve functions marked with the attribute #[test],