diff options
Diffstat (limited to '')
| -rw-r--r-- | test/Helpers.ml | 12 | ||||
| -rw-r--r-- | test/test_rnt.ml | 2 | ||||
| -rw-r--r-- | test/unit/backend/Storage.ml | 4 | ||||
| -rw-r--r-- | test/unit/kernel/Merkle.ml | 23 |
4 files changed, 22 insertions, 19 deletions
diff --git a/test/Helpers.ml b/test/Helpers.ml index 784170c..aa24160 100644 --- a/test/Helpers.ml +++ b/test/Helpers.ml @@ -33,12 +33,12 @@ module Storage = struct module Make (S : Abstract.Storage.STORAGE) (C : CONFIGURATOR) = struct let with_connection f dir () = with_temporary_directory dir begin fun dir -> - begin - let open Utilities.Result in - let* conn = S.connect (C.configure dir) in - Ok (f conn) - end - |> condition_as_failure + begin + let open Utilities.Result in + let* conn = S.connect (C.configure dir) in + Ok (f conn) + end + |> condition_as_failure end end end diff --git a/test/test_rnt.ml b/test/test_rnt.ml index d46be1e..584ea65 100644 --- a/test/test_rnt.ml +++ b/test/test_rnt.ml @@ -2,6 +2,8 @@ let all_suites = Unit.Concepts.Serialization.suites () @ Unit.Backend.Storage.suites () @ Unit.Backend.Lifecycle.suites () + @ [Unit.Backend.ObjectManager.suite] @ Unit.Kernel.Merkle.suites () + @ [Unit.Kernel.Runtime.suite] let () = Alcotest.run "RNT" all_suites diff --git a/test/unit/backend/Storage.ml b/test/unit/backend/Storage.ml index 76bda8b..970e2c4 100644 --- a/test/unit/backend/Storage.ml +++ b/test/unit/backend/Storage.ml @@ -2,7 +2,6 @@ open Rnt module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = struct open Alcotest - module H = Helpers.Storage.Make (S) (C) let storage_and_retrieval conn = @@ -26,7 +25,8 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = let suite prefix = ( "storage/" ^ prefix, - [test_case "storage-and-retrieval" `Quick (H.with_connection storage_and_retrieval "storage-test")] ) + [ test_case "storage-and-retrieval" `Quick + (H.with_connection storage_and_retrieval "storage-test") ] ) end module LMDB = Make (Rnt.Backend.Storage.LMDB) (Helpers.Storage.LMDB_Configurator) 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) |