aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/kernel/SubstantialRelation.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-09-18 00:18:43 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-09-18 00:18:43 -0300
commit1a35fa647b3598111d7dcb281309651ab413b1bc (patch)
treedb9e2201d6b62c5e91ee7dcf1bf7e0190c51f499 /test/unit/kernel/SubstantialRelation.ml
parent728e20d2e05d3b26ac1e91b9851c2174e436d64b (diff)
downloadRNT-1a35fa647b3598111d7dcb281309651ab413b1bc.tar.gz
RNT-1a35fa647b3598111d7dcb281309651ab413b1bc.zip
make substantial relation use merkle.interface
Diffstat (limited to 'test/unit/kernel/SubstantialRelation.ml')
-rw-r--r--test/unit/kernel/SubstantialRelation.ml7
1 files changed, 3 insertions, 4 deletions
diff --git a/test/unit/kernel/SubstantialRelation.ml b/test/unit/kernel/SubstantialRelation.ml
index 9d60685..f639599 100644
--- a/test/unit/kernel/SubstantialRelation.ml
+++ b/test/unit/kernel/SubstantialRelation.ml
@@ -17,15 +17,14 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) =
|> BatMap.String.add "age" (Concepts.Value.Integer 42) }
let assert_and_enumerate conn =
- let tuple = Concepts.Tuple.Representation.to_blob alaric in
let before, after, enumerated =
begin
let open Utilities.Result in
let* tx = S.start conn in
let* relation = SR.empty tx ~schematics:(hash "schema") () in
- let* before = SR.contains_tuple tx relation tuple in
- let* relation = SR.assert_tuple tx relation tuple in
- let* after = SR.contains_tuple tx relation tuple in
+ let* before = SR.contains_tuple tx relation alaric in
+ let* relation = SR.assert_tuple tx relation alaric in
+ let* after = SR.contains_tuple tx relation alaric in
let* () = S.commit tx in
let* cursor = SR.enumerate conn relation in
let* scan = Protocols.Cursor.require cursor in