diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/test_rnt.ml | 1 | ||||
| -rw-r--r-- | test/unit/kernel/EphemeralRelation.ml | 6 |
2 files changed, 4 insertions, 3 deletions
diff --git a/test/test_rnt.ml b/test/test_rnt.ml index 799ad53..da8c008 100644 --- a/test/test_rnt.ml +++ b/test/test_rnt.ml @@ -4,6 +4,7 @@ let all_suites = @ Unit.Kernel.EphemeralRelation.suites () @ Unit.Kernel.Merkle.suites () @ Unit.Kernel.SubstantialRelation.suites () + @ Unit.Kernel.Session.suites () @ Unit.Evaluators.FOL.suites () @ Integration.Registration.suites () diff --git a/test/unit/kernel/EphemeralRelation.ml b/test/unit/kernel/EphemeralRelation.ml index c4bfc05..95ce56d 100644 --- a/test/unit/kernel/EphemeralRelation.ml +++ b/test/unit/kernel/EphemeralRelation.ml @@ -67,14 +67,14 @@ let describes_itself () = | Protocols.Schematics.Relation description -> check (list string) "the attributes of the result" ["value"] (BatMap.String.keys description |> BatList.of_enum); - check (list string) "and where each was drawn from" ["example/value"] + check (list string) "and where each was drawn from" ["example\\value"] ( BatMap.String.values description |> BatList.of_enum |> List.concat_map (fun attribute -> attribute.Protocols.Schematics.provenance |> List.map (fun origin -> - String.concat "/" origin.Protocols.Schematics.source - ^ "/" + String.concat "\\" origin.Protocols.Schematics.source + ^ "\\" ^ origin.Protocols.Schematics.attribute ) ) ) | _ -> fail "an ephemeral relation describes itself as a relation" |