From ca8c92915bd3a7fa19ef57b8bd5a9b3f16d05254 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 13 Sep 2026 14:27:37 -0300 Subject: fol evaluator --- test/integration/Registration.ml | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'test/integration/Registration.ml') diff --git a/test/integration/Registration.ml b/test/integration/Registration.ml index c77a139..991bafa 100644 --- a/test/integration/Registration.ml +++ b/test/integration/Registration.ml @@ -18,7 +18,7 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = let open Protocols in let registration = begin - let* root = I.initialize conn in + let* root = I.initialize ~evaluators:["fol", Evaluators.FOL.make ()] conn in let* bm = Kernel.Path.(lookup root ("branch" @/ this)) |> fmap (Option.to_result ~none:(Error.not_found ())) in let* bm = Registry.from bm |> Option.to_result ~none:(Error.not_found ()) in @@ -35,8 +35,15 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = Directory.find bm "master" |> Result.map Option.is_some end |> Helpers.condition_as_failure in + let evaluator = + begin + let* root = I.initialize ~evaluators:["fol", Evaluators.FOL.make ()] conn in + Kernel.Path.(lookup root ("evaluator" @/ "fol" @/ this)) |> Result.map Option.is_some + end + |> Helpers.condition_as_failure in check bool "" true registration; - check bool "" true presence + check bool "" true presence; + check bool "the fol evaluator is registered" true evaluator let suite prefix = ( "registration/" ^ prefix, -- cgit v1.2.3