diff options
Diffstat (limited to 'test/integration')
| -rw-r--r-- | test/integration/Registration.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/test/integration/Registration.ml b/test/integration/Registration.ml index 413be9f..9eb3e4e 100644 --- a/test/integration/Registration.ml +++ b/test/integration/Registration.ml @@ -10,16 +10,18 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = let run conn = let open Utilities.Result in begin - let* root = I.initialize conn in + let* root = I.initialize ~evaluators:["fol", Evaluators.FOL.make ()] conn in let* branch = B.make conn in Kernel.Path.(update root ("branch" @/ this) "master" None (Some branch)) end |> Helpers.condition_as_failure |> ignore; begin - let* root = I.initialize conn in - Kernel.Path.(lookup root ("branch" @/ "master" @/ "multigroup" @/ this)) + let* root = I.initialize ~evaluators:["fol", Evaluators.FOL.make ()] conn in + let* _ = Kernel.Path.(lookup root ("branch" @/ "master" @/ "multigroup" @/ this)) in + let* _ = Kernel.Path.(lookup root ("evaluator" @/ "fol" @/ this)) in + Ok () end - |> Helpers.condition_as_failure |> ignore + |> Helpers.condition_as_failure let suite prefix = ( "registration/" ^ prefix, |