aboutsummaryrefslogtreecommitdiffstats
path: root/test/test_rnt.ml
blob: fdf7ef70841ef5f78e65563781759a407c45092b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
let all_suites =
  Unit.Backend.Storage.suites ()
  @ Unit.Concepts.Cardinality.suites ()
  @ Unit.Kernel.EphemeralRelation.suites ()
  @ Unit.Kernel.Merkle.suites ()
  @ Unit.Kernel.SubstantialRelation.suites ()
  @ Unit.Kernel.Session.suites ()
  @ Unit.Kernel.Journal.suites ()
  @ Unit.Evaluators.FOL.suites ()
  @ Integration.Registration.suites ()

let () = Alcotest.run "RNT" all_suites