diff options
| author | Nadrieril | 2024-05-27 14:59:10 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-05-27 17:22:56 +0200 |
| commit | 2b40c5c3de1ee2caca2c0072f812fea04b5a0238 (patch) | |
| tree | 687a640232f17269ad33f1a841817491962d4de9 /tests/lean/HashmapMain/FunsExternal.lean | |
| parent | 4f26c7f6f1e554d8ec2f46e868d5dc66c4160d16 (diff) | |
tests: Merge the hashmap test files
Diffstat (limited to '')
| -rw-r--r-- | tests/lean/HashmapMain/FunsExternal.lean | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tests/lean/HashmapMain/FunsExternal.lean b/tests/lean/HashmapMain/FunsExternal.lean deleted file mode 100644 index b394b32b..00000000 --- a/tests/lean/HashmapMain/FunsExternal.lean +++ /dev/null @@ -1,17 +0,0 @@ --- [hashmap_main]: templates for the external functions. -import Base -import HashmapMain.Types -open Primitives -open hashmap_main - --- TODO: fill those bodies - -/- [hashmap_main::hashmap_utils::deserialize] -/ -def hashmap_utils.deserialize - : State → Result (State × (hashmap.HashMap U64)) := - fun _ => .fail .panic - -/- [hashmap_main::hashmap_utils::serialize] -/ -def hashmap_utils.serialize - : hashmap.HashMap U64 → State → Result (State × Unit) := - fun _ _ => .fail .panic |