aboutsummaryrefslogtreecommitdiffstats
path: root/test/integration/Registration.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/integration/Registration.ml')
-rw-r--r--test/integration/Registration.ml10
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,