diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-20 22:01:52 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-24 21:27:45 -0300 |
| commit | b69e62775b6e390b15105ce5af76961f3a38ce14 (patch) | |
| tree | 55eec842e464e1f4cfc54e750cfc03dac08e550b /test/integration/Registration.ml | |
| parent | 55bac460c1a366c9e85c69287936af69a864c3b5 (diff) | |
| download | RNT-b69e62775b6e390b15105ce5af76961f3a38ce14.tar.gz RNT-b69e62775b6e390b15105ce5af76961f3a38ce14.zip | |
tests for the constraint system
Diffstat (limited to 'test/integration/Registration.ml')
| -rw-r--r-- | test/integration/Registration.ml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/test/integration/Registration.ml b/test/integration/Registration.ml index 9eb3e4e..ad92ebb 100644 --- a/test/integration/Registration.ml +++ b/test/integration/Registration.ml @@ -10,15 +10,20 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = let run conn = let open Utilities.Result in begin - let* root = I.initialize ~evaluators:["fol", Evaluators.FOL.make ()] conn in + let* root = I.initialize + ~evaluators:["fol", Evaluators.FOL.make (); "constraint", Evaluators.Constraint.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 ~evaluators:["fol", Evaluators.FOL.make ()] conn in + let* root = I.initialize + ~evaluators:["fol", Evaluators.FOL.make (); "constraint", Evaluators.Constraint.make ()] + conn in let* _ = Kernel.Path.(lookup root ("branch" @/ "master" @/ "multigroup" @/ this)) in let* _ = Kernel.Path.(lookup root ("evaluator" @/ "fol" @/ this)) in + let* _ = Kernel.Path.(lookup root ("evaluator" @/ "constraint" @/ this)) in Ok () end |> Helpers.condition_as_failure |