diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 03:47:47 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 03:47:47 -0300 |
| commit | 41e5d7b8884f23a1e6b7991d1ffcd548d04c9560 (patch) | |
| tree | 25a4fd8616f24706523ab1394b514be290a45c21 /test/unit/evaluators/FOL.ml | |
| parent | 41c6334bf21b1cbae228b1d75bf3d095ba84bcca (diff) | |
| download | RNT-41e5d7b8884f23a1e6b7991d1ffcd548d04c9560.tar.gz RNT-41e5d7b8884f23a1e6b7991d1ffcd548d04c9560.zip | |
fix tests
Diffstat (limited to 'test/unit/evaluators/FOL.ml')
| -rw-r--r-- | test/unit/evaluators/FOL.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/unit/evaluators/FOL.ml b/test/unit/evaluators/FOL.ml index cf8aedb..9cfeb84 100644 --- a/test/unit/evaluators/FOL.ml +++ b/test/unit/evaluators/FOL.ml @@ -6,9 +6,6 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = module H = Helpers.Storage.Make (S) (C) module SR = Rnt.Kernel.SubstantialRelation.Make (S) - let hash s = - Concepts.Blob.blob_of_bytes (Bytes.of_string s) |> Concepts.Hash.hash_of_blob - let alaric = { Concepts.Tuple.type_ = "employee"; attributes = @@ -28,7 +25,8 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = begin let open Utilities.Result in let* tx = S.start conn in - let* relation = SR.empty tx ~schematics:(hash "schema") () in + let* schematics = H.store_schema tx ["name"] in + let* relation = SR.empty tx ~schematics () in let* relation = SR.assert_tuple tx relation alaric in let* () = S.commit tx in let* employee = SR.wrap conn relation in |