aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/kernel
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-08-02 23:37:51 -0300
committerEstevan Castilho <tevo@riajuu.net>2026-08-23 03:06:53 +0000
commit8d59f43f445164e8cc8bd3fe1a23bd04e807a6b3 (patch)
tree6a673397f921070d8a86d026380548d5e251a29f /test/unit/kernel
parentb762cb41da4d822416c3ab66940622882745fc0a (diff)
downloadRNT-8d59f43f445164e8cc8bd3fe1a23bd04e807a6b3.tar.gz
RNT-8d59f43f445164e8cc8bd3fe1a23bd04e807a6b3.zip
format
Diffstat (limited to 'test/unit/kernel')
-rw-r--r--test/unit/kernel/Merkle.ml23
1 files changed, 12 insertions, 11 deletions
diff --git a/test/unit/kernel/Merkle.ml b/test/unit/kernel/Merkle.ml
index f12182a..ae15cf1 100644
--- a/test/unit/kernel/Merkle.ml
+++ b/test/unit/kernel/Merkle.ml
@@ -10,7 +10,6 @@ end
module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = struct
open Alcotest
-
module H = Helpers.Storage.Make (S) (C)
module T = Rnt.Kernel.Merkle.Interface (S) (StringKey) (StringKey)
@@ -20,10 +19,11 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) =
begin
let open Utilities.Result in
let* tx = S.start conn in
- let* node = T.empty
- |> T.insert tx "k1" "v1"
- |> fmap (T.insert tx "k2" "v2")
- |> fmap (T.insert tx "k3" "v3")
+ let* node =
+ T.empty
+ |> T.insert tx "k1" "v1"
+ |> fmap (T.insert tx "k2" "v2")
+ |> fmap (T.insert tx "k3" "v3")
in
let* node' = T.insert tx "k3" "toodles" node in
let* v1 = T.lookup tx "k1" node in
@@ -46,10 +46,11 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) =
begin
let open Utilities.Result in
let* tx = S.start conn in
- let* node = T.empty
- |> T.insert tx "k1" "v1"
- |> fmap (T.insert tx "k2" "v2")
- |> fmap (T.insert tx "k3" "v3")
+ let* node =
+ T.empty
+ |> T.insert tx "k1" "v1"
+ |> fmap (T.insert tx "k2" "v2")
+ |> fmap (T.insert tx "k3" "v3")
in
let* () = S.commit tx in
Ok (T.hash_of node)
@@ -78,8 +79,8 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) =
let suite prefix =
( "merkle/" ^ prefix,
- [test_case "insert-and-lookup" `Quick (H.with_connection insert_and_lookup "merkle-test");
- test_case "persistence" `Quick (H.with_connection persistence "merkle-test")])
+ [ test_case "insert-and-lookup" `Quick (H.with_connection insert_and_lookup "merkle-test");
+ test_case "persistence" `Quick (H.with_connection persistence "merkle-test") ] )
end
module LMDB = Make (Rnt.Backend.Storage.LMDB) (Helpers.Storage.LMDB_Configurator)